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

[[en:seminaires:hdr:index|Habilitation defences]]\\
Thursday November 28, 2019, 2PM, 3052\\
**Constantin Enea**  //Specifying and Verifying Consistency Properties//
<button type="link" size="xs" collapse="b22-3397">{{icon>info-circle?lg&color=#777}}</button>\\
<collapse id="b22-3397" 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>


[[en:seminaires:hdr:index|Habilitation defences]]\\
Friday November 22, 2019, 2PM, Amphi 6C, Halle aux Farines\\
**Yann Régis-Gianas** (IRIF) //Quelques métamorphoses de programmes//
<button type="link" size="xs" collapse="b22-3398">{{icon>info-circle?lg&color=#777}}</button>\\
<collapse id="b22-3398" 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>


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


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