FOM: conference at Ecole Normale Superieure in Paris
Stephen G Simpson
simpson at math.psu.edu
Thu Jul 6 12:51:13 EDT 2000
From: Giuseppe Longo [mailto:Giuseppe.Longo at ens.fr]
Sent: Thursday, July 06, 2000 1:39 AM
Subject: Conference on foundations and applications of mathematics
"New programs and open problems in the foundation of mathematics and
of its applications, in year 2000"
November 13 and 14, 2000
Ecole Normale Superieure, 45, rue d'Ulm, 75005 Paris
A. Connes "Non-commutative Geometry"
J.-Y. Girard "Locus solum"
Respondent: P.-L. Curien
W. Lawvere "Dialectical foundations of, by, and for mathematics"
Respondent: I. Moerdijk
A. Macintyre "Prospects in logic"
Respondent: M. F. Coste-Roy
R. Milner "The flux of computation"
Respondent: G. Berry
Panel discussion :
"Geometric Structures in Logic, Physics and Computing" with the
invitees and the members of the working group "Geometrie et
Cognition" (G. Longo, chair)
The Conference is open to public and it is part of the "Atelier de
Recherche" Geometrie et Cognition, partly supported by the MENRT
Contact: longo at dmi.ens.fr
More information about the FOM