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

Vendredi 18
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
Samedi 19
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

Site propulsé par accatone/resurgences
Tourisme Atlas
projet NetLab, politiques publiques, big data et sciences sociales
spacelike, une exploration visuelle du web de l'art contemporain