Cette page est en cours de réalisation ; mon ancienne page web se trouve ici.
Page du cours de langage de spécification, M1
Transparent du cours d'Algorithmique Expérimentale
Professeur des Universités à l'UPEC, membre du PRES Paris-Est.
Membre du LACL, Laboratoire d'Algorithmique, Complexité et Logique, équipe d'accueil n°4219
Julien Cervelle
LACL
Université Paris 12-Val de Marne
94010 Créteil Cedex
Bureau P2 224, au CMC (Centre multidisciplinaire de Créteil), 61 avenue du Général de Gaulle à Créteil
tél: 01 45 17 16 63
fax: 01 45 17 66 01
mail: <prenom>.<nom>@polytechnique.edu