[TYPES/announce] MODEL THEORY AND LAMBDA-CALCULUS - a meeting in honor of Chantal Berline

[Thomas Ehrhard]

MODEL THEORY AND LAMBDA-CALCULUS
A meeting in honor of Chantal Berline
June 3 and 4, 2009
Paris



Organized on the occasion of Chantal Berline's retirement, this meeting will
take place in Paris (University Paris Diderot - Paris 7) and will be 
devoted to
her two main research topics: Model Theory and Lambda-Calculus.

There will be 6 invited talks and one talk by Chantal Berline herself. 
We also
plan to have one or two talks given by local colleagues of Chantal.


Invited speakers

Lambda-calculus:
- Stefano Berardi
- Klaus Grue
- Antonio Salibra

Model Theory:
- Gregory Cherlin
- Bruno Poizat
- Carol Wood


Registration:
If you wish to take part in this meeting, please send an e-mail to
berline-meeting at pps.jussieu.fr
before March 30th.

There will be no registration fees.


Web page:
A web page with practical information and the programme of the meeting will
be available soon at
http://www.pps.jussieu.fr/~ehrhard/berline-meeting/


This meeting is being organized by the laboratory Preuves, Programmes
et Systemes (PPS) and by the Equipe de Logique. It is funded by the
University Paris Diderot - Paris 7 and by the CNRS.

Organizing Committee:
Antonio Bucciarelli (PPS)
René Cori (Equipe de Logique)
Thomas Ehrhard (PPS)