~~NOCACHE~~
/* DO NOT EDIT THIS FILE             */

[[seminaires:hdr:index|Soutenances d'habilitation]]\\
Jeudi 28 novembre 2019, 14 heures, 3052\\
**Constantin Enea**  //Specifying and Verifying Consistency Properties//
<button type="link" size="xs" collapse="b22-3363">{{icon>info-circle?lg&color=#777}}</button>\\
<collapse id="b22-3363" collapsed="true">
<well size="sm">
Jury:

  - Parosh Aziz Abdulla, Uppsala University, Sweden (examiner)
  - Hagit Attiya, Technion, Israel (examiner)
  - Ahmed Bouajjani (examiner)
  - Giuseppe Castagna (reviewer)
  - Suresh Jagannathan, Purdue University, United States (reviewer)
  - Rupak Majumdar, Max Planck Institute Kaiserslautern, Germany (reviewer)
  - Mooly Sagiv, Tel-Aviv University, Israel (examiner)
</well>
</collapse>


[[seminaires:hdr:index|Soutenances d'habilitation]]\\
Vendredi 22 novembre 2019, 14 heures, Amphi 6C, Halle aux Farines\\
**Yann Régis-Gianas** (IRIF) //Quelques métamorphoses de programmes//
<button type="link" size="xs" collapse="b22-3364">{{icon>info-circle?lg&color=#777}}</button>\\
<collapse id="b22-3364" collapsed="true">
<well size="sm">
Jury:\\
- Sandrine Blazy    (examinatrice)\\
- Giuseppe Castagna (rapporteur)\\
- Roberto di Cosmo  (examinateur)\\
- Xavier Leroy      (examinateur)\\
- Peter Thiemann    (rapporteur)\\
- Stephanie Weirich (rapporteure)
</well>
</collapse>


[[seminaires:hdr:index|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//
\\


[[seminaires:hdr:index|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//
<button type="link" size="xs" collapse="b22-3365">{{icon>info-circle?lg&color=#777}}</button>\\
<collapse id="b22-3365" collapsed="true">
<well size="sm">
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
</well>
</collapse>