Institut de Mathématiques de Luminy
SÉMINAIRES 2006
Logique de la Programmation (LDP)

Organisateur :

Yves Lafont (téléphone : 04 91 26 96 37)
Lieux : IML, Bâtiment TPR2- CNRS :
Salle de Séminaires : 3ème étage (304-306).
Horaire : en règle générale le mardi, à 14h.

mardi 19 décembre
Emmanuel Beffara (
LSV, ENS Cachan) :
Exposé sur les modèles concurrents
de la logique linéaire.

mardi 12 décembre
Emmanuel Jeandel (
LIF) :
Exposé sur la théorie du calcul quantique.

mardi 5 décembre
Jean-Yves Girard (
IML) :
Quelques conséquences décapantes de l'interprétation de la logique dans le facteur hyperfini.

mardi 16 mai
Amphi Herbrand

Jean Krivine (
INRIA) :
Reversible Process algebra.

Résumé : http://iml.univ-mrs.fr/ldp/Seminaire/SemLog0506.html

 

 

 

 

 

 

EL, le 15 novembre 2006