Reunion du groupe LIGC: Logique et interaction : vers une géométrie de la cognition

Géométrie et complexité:
la logique et ses images

Ecole normale supérieure, Paris,
Salle des conférences, au 46 rue d'Ulm,
Novembre 18 - 19, 2005

Programme

• 9h 30 : T. Paul, Maths, CNRS-ENS :
  "Ontologie perturbative?".
• 10h 30 : D. Bennequin, Maths, Paris VII :
  "Géométrie et neurosciences".
Micropause
• 11h 45 : G. Longo, Informatique, CNRS - ENS :
  "Criticité: du calcul au vivant, un théorème, des concepts"


Pause


• 15h : J.B. Joinet, Philosophie-Informatique, Univ. Paris I-VII :
  "La logique : de l'espace au temps"
Micropause
• 16h 30 : Table ronde:
  "Probabilités: classiques, quantiques, algorithmiques"
  (F. Bailly, G. Longo, M. Mugur-Schachter, T. Paul.
    Textes d'apuis :
  court, 8 pages : F. Bailly, G. Longo : aleas-appendix.pdf ;
  long, 36 pages : Mioara Mugur-Schachter : Cerisy-mioara.pdf)

 

Samedi
• 9h 30 : G. Dowek, Informatique, INRIA et Ecole polytechnique :
  "Qu'est-ce qu'une application linéaire calculable ?"
• 10h 30 : P. Dehornoy, Maths, Univ. Caen :
  "De la théorie des ensembles aux tresses"
Micropause
• 11h 45 : S. Troncon, Philosophie, Univ. Aix:
  "Logique, langage et pensée : de la bifurcation à la synchronisation".


Pause


• 15h : J. Petitot, Philo-Maths, EHESS et CREA, Polytechnique :
  "Perception et jugements perceptifs".
• 16h : P. Livet, Philosophie, Univ. Aix:
  "Ontologie des trajets, trajets virtuels et opérateurs linéaires.".
Micropause
• 17h 15 : J.-Y. Girard, Maths, CNRS, Marseille :
  "Logique et algèbres d'opérateurs".