[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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-meet...@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)