Habilitation defences Thursday November 28, 2019, 2PM, 3052 Constantin Enea Specifying and Verifying Consistency Properties 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) Habilitation defences Friday November 22, 2019, 2PM, 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) 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 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