Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Jean-Christophe Filliâtre - Habilitation à diriger des recherches (HDR)
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.