Preuves, Programmes et Systèmes

Berline Meeting Programm

Ce colloque, organisé à l'occasion de la retraite de Chantal Berline, sera consacré à ses deux principaux sujets de recherche : la théorie des modèles et le lambda-calcul.

MODEL THEORY AND LAMBDA CALCULUS

A seminar in honour of Chantal Berline

Preliminary program

Le résumé du programme ici : http://www.pps.jussieu.fr/berline-meeting/resume.

Wednesday, June 3

• 9:30-10h00 Jean-Pierre Ressayre (Univ. Paris Diderot): TBA

• 10:00-11h00 Stefano Berardi (Univ. Torino): Beta-eta complete models and decompilers for system F.

• 11:15-12:15 Antonino Salibra (Univ. "Ca Foscari", Venezia): Non-effective theories of effective models of lambda calculus.

• 13:45-14:45 Klaus Grue (Univ. Copenhagen): Map theory: From syntax to models and back.

• 14:45-15:45 Thomas Ehrhard (CNRS) Le modele de Scott est le collapse extensionnel du modele des ensembles et des relations.

• 16:00-17:00 Bruno Poizat (Univ. Lyon): La vie et l'oeuvre de Chantal Berline.

• 17:00-18:00 Carol Wood (Wesleyan University): The Joy of Examples.

Thursday, June 4

• 9:30-10:30 Gregory Cherlin (Rutgers University). Between model theory and combinatorics: Homogeneity, WQO, Universality.

• 10:30-11h30 Francoise Delon (CNRS) Différentes notions de théories minimales.

• 11:45-12h45 Chantal Berline (CNRS): The universe "is" a lambda-term.

Social events (all participants welcome)

• Wednesday, June 3, 18:00 : Champagne and appetizers.

• Thursday, June 4, 13:00 : Farewell Buffet.