Institut de Mathématiques de Luminy

GROUPE DE TRAVAIL 2005
Logique de la Programmation (LDP)

Organisatrice :

Marie-Renée Fleury-Donnadieu (téléphone : 04 91 26 96 38).
Lieux : IML, Bâtiment TPR2- CNRS : Amphithéatre de l'IML : 1er étage (130-134)
Salle Masters et salle de réunion de l'équipe : 2ème étage
Salle des Séminaires : 3ème étage (304-306).
Horaire : en règle générale le mardi, à 14h.

jeudi 3, lundi 14 et jeudi 17 mars
----- à 14 h -----
Salle de travail Masters

Thomas Streicher (Univ. Darmstadt) :
Introduction à la logique catégorique et aux topos.

 

Last update : march 10, 2005, EL.