[Prev][Next][Index][Thread]

colloquium at ENS




Ecole Normale Supe'rieure 

"Constructivity, in Mathematics and in Vision"
"Constructivite', en Mathe'matiques et en Vision" 

Vendredi 31 Mars 1995
Salle Dussane, 45, Rue D'Ulm, 75005  Paris 

9.30 Introduction au Colloque (Giuseppe Longo)

9.45  Jean-Yves Girard (LMD, CNRS, Marseille)
"Constructivite': vers une dualite' moniste"

11.15 Jean-Michel Morel (CEREMADE, Paris Dauphine)
"Reconstruction visuelle et ge'ne'ricite'"

12.30 Pause

14.00 J. Kevin O'Regan (CNRS et Univ. de Paris V)
"La perception visuelle: Le monde comme me'moire externe"

15.15 Per Martin-Loef (Universite' de Stockholm)
"Mathematical constructions: mental or real"

16.30 Pause

16.45 Conclusion et Discussion 

(introduites par Gerard Huet (INRIA), Giuseppe Longo et Jacques  
Ninio, CNRS et ENS)

Entre'e libre. 
Organizateur: G. Longo 

DEPT. MATHEMATIQUES ET INFORMATIQUE, ENS

Renseignements: Mme B. VanElsen, DMI, ENS
(tel. ++33-1-4432-2034;
FAX 4432-2080;    e-mail: vanelsen@dmi.ens.fr)