Soutenances Gestion des soutenances Soutenances d'habilitation Le calendrier des séances (format iCal). Pour ajouter le calendrier des séances à votre agenda favori, souscrire au calendrier en indiquant ce lien. Séances passées Année 2021 Soutenances d'habilitations Mardi 6 avril 2021, 14 heures, Online Wolfgang Steiner (IRIF) Numeration systems: automata, combinatorics, dynamical systems, number theory Composition du jury : Valérie Berthé, DR CNRS, Université de Paris, examinatrice Yann Bugeaud, Professeur, Université de Strasbourg, rapporteur Olivier Carton, Professeur, Université de Paris, président du jury Karma Dajani, Professeure, Universiteit Utrecht, rapporteuse Jean-Michel Muller, DR CNRS, ENS Lyon, examinateur Cyril Nicaud, Professeur, Université Gustave Eiffel, examinateur Jeffrey O. Shallit, Professeur, University of Waterloo, rapporteur Brigitte Vallée, DR CNRS émérite, Université de Caen Normandie, examinatrice Le manuscrit est disponible à l’adresse https://www.irif.fr/~steiner/hdr.pdf Les transparents sont disponibles à l'adresse https://www.irif.fr/~steiner/hdr_talk.pdf La soutenance sera diffusée à l'adresse https://www.youtube.com/channel/UCHbdRBy9VwdfYmBjl_ZIyeQ Année 2019 Soutenances d'habilitations 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'habilitations 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'habilitations 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'habilitations 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 Année 2018 Soutenances d'habilitations Mercredi 28 novembre 2018, 14 heures, Salle 2014 du Bâtiment Sophie Germain Enrica Duchi (IRIF) Polyominoes, permutominoes and permutations La soutenance aura lieu devant le jury suivant : Frédérique Bassino, (LIPN, Université Paris 13) François Bergeron, (UQAM, Université du Québec à Montreal) Jean-Marc Fédou, (I3S, Université de Nice Sophia-Antipolis) Vlady Ravelomanana, (IRIF, Université Paris Diderot) Bruno Salvy, (LIP, ENS Lyon) Michèle Soria, (LIP6, Université Paris 6) après avis des rapporteuses : Marilena Barnabei, (Dipartimento di Matematica, Università di Bologna) Frédérique Bassino, (LIPN, Université Paris 13) Valérie Berthé, (IRIF, Université Paris Diderot) Soutenances d'habilitations Vendredi 23 novembre 2018, 14 heures, Salle 234C, Halle aux Farines Christine Tasson (IRIF) Sémantiques des Calculs Distribués, Différentiels et Probabilistes Depuis les années 60, la sémantique s'est avérée très utile pour introduire des langages de haut niveau permettant d'écrire des programmes complexes et de les comprendre à un niveau mathématique précis. Dans les années 80, la logique linéaire a été introduite par Girard, reflétant des propriétés sémantiques liées à l'utilisation des ressources. Cette direction a été poursuivie par Ehrhard dans les années 2000 avec l'introduction du lambda-calcul différentiel. Dans ces modèles, les programmes sont approximés par des polynômes, dont les monômes représentent les appels d'un programme à ses entrées lors de son exécution. Cette approche analytique a constitué un outil crucial pour l'étude des propriétés quantitatives apparaissant dans les langages de programmation probabiliste. En parallèle, depuis les années 90, plusieurs modèles géométriques ont été développés pour représenter des traces d'exécution dans les systèmes distribués. Dans cette thèse d'habilitation, nous présentons des modèles que nous avons étudiés dans ces trois domaines : les systèmes distribués, le lambda-calcul différentiel, la programmation probabiliste, ainsi que les techniques générales nécessaires et les résultats qu'ils nous ont permis d'obtenir. Celles-ci ont nécessité l'utilisation et le développement d'outils issus de la combinatoire, de la topologie dirigée, de l'analyse fonctionnelle, de la théorie des catégories et des probabilités. Le jury est composé des membres suivants: Lisbeth Fajstrup (examinatrice), Marcelo Fiore (rapporteur), Pierre Fraigniaud (rapporteur), Achim Jung (examinateur), Alexandra Silva (examinatrice), Tarmo Uustalu (examinateur) Année 2017 Soutenances d'habilitations Lundi 27 novembre 2017, 14 heures, Salle des Thèses, Halle aux Farines Stefano Zacchiroli (IRIF) Large-scale Modeling, Analysis, and Preservation of Free and Open Source Software https://upsilon.cc/~zack/research/hdr/ Soutenances d'habilitations Lundi 20 novembre 2017, 10 heures, Salle 227C, Halle aux Farines Paul-André Melliès (IRIF) Une étude micrologique de la négation La logique tensorielle est une logique primitive du tenseur et de la négation, dont l'objectif est de circonscrire les ingrédients élémentaires du raisonnement logique, et de les étudier au moyen des outils de l'algèbre contemporaine. La logique est aussi conçue pour fonder la sémantique des jeux en théorie des types, et pour l'articuler de manière précise et harmonieuse avec la logique linéaire et la théorie des continuations dans les langages de programmation. https://www.irif.fr/~mellies/habilitation.html