J'ai le plaisir de vous inviter à
la soutenance de mon Habilitation à Diriger des Recherches
qui aura lieu
le vendredi 2 décembre 2011 à 14h00
en salle 435 au
Laboratoire de Recherche en Informatique
,
ainsi qu'au pot qui suivra.
sujet
Deductive Program Verification
(
mémoire
/
transparents
)
commission d'examen
Gilles Barthe
(rapporteur)
Yves Bertot
(rapporteur)
Olivier Danvy
Roberto di Cosmo
Gérard Huet
K. Rustan M. Leino
(rapporteur)
Xavier Leroy
Christine Paulin
Comment venir
Jean-Christophe Filliâtre
