Les deux deuxièmes prix sont décernés à (par ordre alphabétique) :
Olivier Bouissou pour sa thèse intitulée "Analyse statique par interprétation abstraite de systèmes hybrides.", effectuée à l’Ecole Polytechnique (UMR LIX) sous la direction de Eric Goubault et Matthieu Martel. http://www.lix.polytechnique.fr/Lab…
et
Nicolas Tabareau pour sa thèse intitulée "Modalités de ressource et contrôle en logique tensorielle", effectuée à l’Université Paris Diderot (UMR PPS) sous la direction de Paul-André Melliès.







