• English
  • français


  • English
  • français

Algorithmic, Complexity and Logic Laboratory

Équipe d'Accueil 4219, École Doctorale MSTIC


Next seminars

2015-01-05
Denis Kuperberg (IRIT/ONERA, Toulouse)
Titre à venir

2014-12-15 Toute la journée
Membres du LACL ()
Seconde Journée Séminaire Local LACL

2014-12-08 Toute la journée
Membres du LACL ()
Première Journée Séminaire Local LACL

2014-11-17
Amélie David (IBISC, Université d'Evry-Val-d'Essonne)
Titre à venir

2014-10-20
Clément Aubert (LACL - UPEC)
La logique linéaire, outil de la théorie de la démonstration pour la complexité implicite.

Seminar page...

LACL Members





Address:

LACL, Département d'Informatique
Faculté des Sciences et Technologie
61 avenue du Général de Gaulle
94010 Créteil Cedex

Office:

Flore Tsila
Building P2 - 2nd floor - room 215
Phone: +33 (0)1 45 17 16 47
Fax: +33 (0)1 45 17 66 01

Direction:

Régine Laleau
Building P2 - 2nd floor - room 208
Phone: +33 (0)1 45 17 65 97
Fax: +33 (0)1 45 17 66 01