LIGC 2005 (Paris)
"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
| 09h30 | T. Paul
(Maths, CNRS-ENS) |
Ontologie perturbative ? |
| 10h30 | D. Bennequin
(Maths, Paris VII) |
Géométrie et neurosciences. |
| Micro pause | ||
| 11h45 | G. Longo
(Informatique, CNRS - ENS) |
Criticité : du calcul au vivant, un théorème, des concepts. |
| Pause | ||
| 15h00 | J.B. Joinet
(Philosophie-Informatique, Univ. Paris I-VII) |
La logique : de l’espace au temps. |
| Micro pause | ||
| 16h30 | 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 | |
| 09h30 | G. Dowek
(Informatique, INRIA et Ecole polytechnique) |
Qu’est-ce qu’une application linéaire calculable ? |
| 10h30 | P. Dehornoy
(Maths, Univ. Caen) |
De la théorie des ensembles aux tresses |
| Micropause | ||
| 11h45 | S. Troncon
(Philosophie, Univ. Aix) |
Logique, langage et pensée : de la bifurcation à la synchronisation. |
| Pause | ||
| 15h00 | J. Petitot
(Philo-Maths, EHESS et CREA, Polytechnique) |
Perception et jugements perceptifs. |
| 16h00 | P. Livet
(Philosophie, Univ. Aix) |
Ontologie des trajets, trajets virtuels et opérateurs linéaires. |
| Micro pause | ||
| 17h15 | J.-Y. Girard
(Maths, CNRS, Marseille) |
Logique et algèbres d’opérateurs |
Contacts
longo (at) di.ens.fr, Page web
commenter, laisser un message
Contact
Groupe LIGC
c/o Jean-Baptiste Joinet
UFR de Philosophie
Université Paris 1
17 rue de la Sorbonne
75231 Paris cedex 05
joinet[/at/]univ-paris1.fr
Liste de diffusion
Liens
