Section: Dissemination

Habilitation Theses

Pierre-Cyrille Héam has defended his habilitation (Université de Franche-Comté) entitled “Automates finis pour la fiabilité logicielle et l'analyse d'accessibilité”, on November 13, 2009.

Véronique Cortier has defended her habilitation (INPL) entitled “Analysis of cryptographic protocols: from symbolic to computational models”, on November 18, 2009.

Christophe Ringeissen has defended his habilitation (Université Henri Poincaré – Nancy 1) entitled “Equational Reasoning and Combination Methods: from programs to proofs”, on November 27, 2009.