[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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 
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

- Stefano Berardi
- Klaus Grue
- Antonio Salibra

Model Theory:
- 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.

Web page:
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.

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

Reply via email to