Connexion

English version

PPS UMR 7126 – Laboratoire
Preuves, Programmes et Systèmes

Accueil · Présentation · Membres · Publications · Séminaire · Groupes de travail · Projets · πr²

THÉORIE DES MODÈLES ET LAMBDA-CALCUL

Un colloque en l'honneur de Chantal Berline

3 et 4 juin 2009 de 9h30 à 17h30 salle 0C05- Paris

Ce colloque, organisé à l'occasion de la retraite de Chantal Berline, aura lieu à Paris (université Paris 7 - Denis Diderot) et sera consacré aux deux principaux sujets de recherche de Chantal Berline : la théorie des modèles et le lambda-calcul. Au programme de ces deux journées : les interventions de six invités, d'un ou deux collègues locaux et de Chantal Berline elle-même.

Ce colloque est organisé par le laboratoire Preuves, Programmes et Systèmes (PPS) et par l'Équipe de Logique Mathématique. Il est financé par l'université Paris Diderot - Paris 7 et par le CNRS.

Orateurs invités

Lambda-calcul:

Théorie des modèles:

Inscription:

N'hésitez pas à nous contacter par mail à berline-meeting@pps.jussieu.fr. Il n'y a pas de frais d'inscription.

Programme

Le programme détaillé du colloque sur cette page : http://www.pps.jussieu.fr/berline-meeting/programme.

Le résumé des exposés : http://www.pps.jussieu.fr/berline-meeting/resume.

Comité d'organisation:


MODEL THEORY AND LAMBDA CALCULUS

A seminar in honour of Chantal Berline

3 and 4 June 2009 from 9:30 am to 5:30 pm classroom 0C05 - Paris

The seminar held for the retirement of Chantal Berline will be held in Paris (University Paris Diderot - Paris 7) and will focus on two of her main research topics: model theory and the lambda-calculus. The program for these two days will consist of interventions of six guest speakers, of one or two local colleagues and of Chantal Berline herself.

The seminar is organized by Preuves, Programmes et Systèmes (PPS) and Équipe de Logique Mathématique and is funded by University Paris Diderot - Paris 7 and CNRS.

Guest speakers

Lambda-calculus:

Model Theory :

Registration:

Please contact us by email: berline-meeting@pps.jussieu.fr. There is no registration fee.

Programm

The detailed program of the conference is available here : http://www.pps.jussieu.fr/berline-meeting/programme.

The summary of the presentation : http://www.pps.jussieu.fr/berline-meeting/resume.

Organizing Committee: