Accueil
Recherche
Publication
Enseignement
Contact
English
Coordonnées
Adresse mail
benoit.robillard[at]lri[dot]fr
benoit.robillard[at]ensiie[dot]fr
Adresse physique
Laboratoire de recherche en informatique
Bâtiment 650 Université Paris-Sud 11
91405 Orsay Cedex France
Quelques liens
L'assistant à la preuve Coq
ROADEF (Association Française De Recherche Opérationnelle)
Laboratoire
LRI (Laboratoire de Recherche en Informatique)
LRI (équipe GraphComb)
CEDRIC (Centre d'Etude et De Recherche en Informatique du Cnam)
CEDRIC (équipe CPR)
CEDRIC (équipe OC)
ENSIIE