[ The Types Forum (announcements only),
MODEL THEORY AND LAMBDA-CALCULUS
A meeting in honor of Chantal Berline
June 3 and 4, 2009
Organized on the occasion of Chantal Berline's retirement, this meeting will
take place in Paris (University Paris Diderot - Paris 7) and will be
her two main research topics: Model Theory and Lambda-Calculus.
There will be 6 invited talks and one talk by Chantal Berline herself.
plan to have one or two talks given by local colleagues of Chantal.
- Stefano Berardi
- Klaus Grue
- Antonio Salibra
- Gregory Cherlin
- Bruno Poizat
- Carol Wood
If you wish to take part in this meeting, please send an e-mail to
before March 30th.
There will be no registration fees.
A web page with practical information and the programme of the meeting will
be available soon at
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.
Antonio Bucciarelli (PPS)
René Cori (Equipe de Logique)
Thomas Ehrhard (PPS)