>
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