5-12 June 2007
Cerisy, France
Conference: `1907--2007: One Hundred Years of Intuitionism' Speakers: Dirk van Dalen, Henk Barendregt, Alain Michel, Philippe Nabonnand & Gerhard Heinzmann, Per Martin-Lf (E.W. Beth Lecture), Marcel Guillaume, Mohammad Ardeshir, Carl Posy, Richard Tieszen, Bernd Buldt, Mathieu Marion, Dag Prawitz, Charles McCarty, Jacques Dubucs, Jean Fichot, Douglas Bridges, Erik Palmgren, Giovanni Sambin, Peter Schroeder-Heister, Anton Setzer, Mitsu Okada, Gran Sundholm & Mark van Atten, Wim Veldman. Organisers: Michel Bourdeau (IHPST, Paris), Pascal Boldini (Paris IV), Gerhard Heinzmann (Archives Poncar, Nancy) Mark van Atten (IHPST, Paris). Place and dates: Cerisy (Normandy, France) June 5--12, 2007 Further information: http://www.ccic-cerisy.asso.fr/intuitionnisme07.html (NOTE: the titles and abstracts on the webpage are in French, but most talks will actually be in English.) -- IHPST (CNRS/Paris I/ENS) 13 rue du Four, F-75006 Paris, France http://www-ihpst.univ-paris1.fr