Habilitation defences
Thursday November 28, 2019, 2PM, 3052
Constantin Enea Specifying and Verifying Consistency Properties
Habilitation defences
Friday November 22, 2019, 2PM, Amphi 6C, Halle aux Farines
Yann Régis-Gianas (IRIF) Quelques métamorphoses de programmes
Habilitation defences
Tuesday June 18, 2019, 10AM, Salle des Thèses, Halle aux Farines
Yves Guiraud Méthodes de réécriture en algèbre supérieure
Habilitation defences
Thursday May 16, 2019, 2PM, Salle 0011, Bâtiment Sophie Germain
Pierre Charbit (IRIF) About Some Hereditary Classes of Graphs : Algorithms - Structure - Coloration
Jury:
Pierre Fraigniaud, Directeur de Recherche, CNRS, Paris
Frédéric Havet, Directeur de Recherche, CNRS, Sophia Antopolis
Claire Mathieu, Directrice de Recherche, CNRS, Paris
Christophe Paul, Directeur de Recherche, CNRS, Montpellier
Alex Scott, Professeur, Oxford University
Jean-Sébastien Sereni, Directeur de Recherche, CNRS, Strasbourg
Laurent Viennot, Directeur de recherche, INRIA, Paris