>

You are gladly invited to the defense of my
habilitation à diriger des recherches
on Friday December 2, 2011, 2pm,
room 435 at Laboratoire de Recherche en Informatique,
and to the traditional pot de thèse.

memoir

Deductive Program Verification
(memoir / slides)

committee

Gilles Barthe (reviewer)
Yves Bertot (reviewer)
Olivier Danvy
Roberto di Cosmo
Gérard Huet
K. Rustan M. Leino (reviewer)
Xavier Leroy
Christine Paulin


Access information