Soutenances d'habilitation Jeudi 28 novembre 2019, 14 heures, 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) 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