Soutenances d'habilitation
Jeudi 28 novembre 2019, 14 heures, 3052
Constantin Enea Specifying and Verifying Consistency Properties

Jury:
  1. Parosh Aziz Abdulla, Uppsala University, Sweden (examiner)
  2. Hagit Attiya, Technion, Israel (examiner)
  3. Ahmed Bouajjani (examiner)
  4. Giuseppe Castagna (reviewer)
  5. Suresh Jagannathan, Purdue University, United States (reviewer)
  6. Rupak Majumdar, Max Planck Institute Kaiserslautern, Germany (reviewer)
  7. Mooly Sagiv, Tel-Aviv University, Israel (examiner)

Soutenances d'habilitation
Vendredi 22 novembre 2019, 14 heures, Amphi 6C, Halle aux Farines
Yann Régis-Gianas (IRIF) Quelques métamorphoses de programmes

Jury:
- Sandrine Blazy (examinatrice)
- Giuseppe Castagna (rapporteur)
- Roberto di Cosmo (examinateur)
- Xavier Leroy (examinateur)
- Peter Thiemann (rapporteur)
- Stephanie Weirich (rapporteure)

Soutenances d'habilitation
Mardi 18 juin 2019, 10 heures, Salle des Thèses, Halle aux Farines
Yves Guiraud Méthodes de réécriture en algèbre supérieure

Soutenances d'habilitation
Jeudi 16 mai 2019, 14 heures, Salle 0011, Bâtiment Sophie Germain
Pierre Charbit (IRIF) About Some Hereditary Classes of Graphs : Algorithms - Structure - Coloration

Rapporteurs:
Laurent Viennot, Directeur de recherche, INRIA, Paris
Alex Scott, Professeur, Oxford University
Christophe Paul, Directeur de Recherche, CNRS, Montpellier


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