Monday, November 13:

14h :    J.-Y. Girard (CNRS, Marseille): "Locus solum"
Respondent: P.-L. Curien (CNRS - Univ. Paris VII)

15h 30:    G. Parisi (Univ. Roma I): "Six spaces looking for a geometer"
Respondent: J.-P. Nadal (CNRS-ENS, Paris)

17h : PAUSE.

17h 15 :    A. Macintyre (Univ. Edinburgh): "Prospects in logic"
Respondent: A. Marcja (Univ. Firenze)
   

       Tuesday, November 14:

9h 30 :    R. Milner (Univ. Cambridge): "The flux of computation"
Respondent: G. Berry (Ecole des Mines, Sophia-Antipolis)

11h 00 :    W. Lawvere (SUNY, Buffalo): "Dialectical foundations of, by, and for mathematics"
Respondent: A. Kock (Aarhus Univ.)

       Tuesday afternoon:

14h 30 :    A. Connes (Collège de France, Paris): "Non-commutative Geometry"
Respondent: C. Soulé (IHES, Paris);

16h :    Panel discussion :
"Geometric Structures in Logic, Physics and Computing" with the invitees and the
members of the working group "Géométrie et Cognition" (G. Longo, CNRS-ENS, chair)
 

The Conference is one of the activites promoted by the "Atelier de Recherche" Géométrie et Cognition,
financed by the Action Cognitique of the french Ministry of Research, and it is partly supported also by the
Laboratoire d'Informatique de l'ENS (LIENS, CNRS).

       
 
The Conference is open to public (no attendance fees) and the organizers can provide no help to attendees (a list of hotels may be found in Hotels).