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