[Prev][Next][Index][Thread]
New programs in the foundation of mathematics conference
-
To: types@cis.upenn.edu
-
Subject: New programs in the foundation of mathematics conference
-
From: Giuseppe Longo <Giuseppe.Longo@ens.fr>
-
Date: Thu, 21 Sep 2000 14:14:11 +0200
-
Delivery-Date: Thu Sep 21 08:56:18 2000
-
References: <2254.969468700@localhost.localdomain>
"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
Salle Dussane
Monday, November 13:
14h : J.-Y. Girard (CNRS, Marseille): "Locus solum"
Respondent: P.-L. Curien (CNRS - Univ. Paris VII)
15h 30 : A. Macintyre (Univ. Edinburgh):
"Prospects in logic"
Respondent: A. Marcja (Univ. Firenze)
17h : PAUSE.
17h 15 : W. Lawvere (SUNY, Buffalo):
"Dialectical foundations of, by, and for mathematics"
Respondent: I. Moerdijk (Univ. Utrecht)
Tuesday, November 14:
9h 30 : R. Milner (Univ. Cambridge):
"The flux of computation"
Respondent: G. Berry (Ecole des Mines, Sophia-Antipolis)
11h : G. Parisi (Univ. Roma I):
"Six spaces looking for a geometer"
Respondent: J.-P. Nadal (CNRS-ENS, Paris)
Tuesday afternoon:
14h 30 : A. Connes (College de France, Paris):
"Non-commutative Geometry"
Respondent: C. Soule (IHES, Paris);
16h : Panel discussion :
"Geometric Structures in Logic, Physics and Computing" with
the invitees and the members of the working group "Geometrie et
Cognition" (G. Longo, CNRS-ENS, chair)
------------------
The Conference is one of the activites promoted by the "Atelier de
Recherche" Geometrie et Cognition (
http://www.dmi.ens.fr/users/longo/geocogni.html )
financed by 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 :
http://www.dmi.ens.fr/users/longo/GeoCo-fold/hotels.html ).
http://www.dmi.ens.fr/users/longo/