colloquium at ENS

• To: types@dcs.gla.ac.uk
• Subject: colloquium at ENS
• From: Giuseppe.Longo@ens.fr
• Date: Thu, 9 Feb 95 13:35:42 +0100
• Approved: types@dcs.gla.ac.uk

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)

• Prev: Re: Structural Rules and Exponentials
• Next: The Tbilisi Symposium on Language, Logic and Computation
• Index(es):
  • Main
  • Thread