Rapport D'activités
Total Page:16
File Type:pdf, Size:1020Kb
Rapport d’Activités 1er janvier 2012 – 31 mars 2017 Vague D Campagne d’évaluation 2017-2018 Unité de recherche Dossier d’autoévaluation Information générales Nom de l’unité : Institut de Recherche en Informatique Fondamentale Acronyme : IRIF Champs de recherche de rattachement : Informatique Nom du directeur pour le contrat en cours : Pierre Fraigniaud Nom du directeur pour le contrat à venir : Frédéric Magniez Type de demande : Renouvellement à l’identique Restructuration Création ex nihilo 2 2 Etablissements et organismes de rattachement : Contrat en cours Prochain contrat - CNRS - CNRS - Université Paris Diderot (Paris 7) - Université Paris Diderot (Paris 7) Evaluation interdisciplinaire Oui Non 2 IRIF – UMR 8243 Université Paris Diderot Case 7014 75205 Paris Cedex 13 [email protected] http://www.irif.fr Table des matières I Rapport scientifique de l’IRIF 1 Présentation de l’IRIF . 3 2 Produits et activités de recherche de l’IRIF . 21 3 Organisation et vie de l’IRIF . 31 4 Analyse SWOT de l’IRIF . 39 5 Annexes IRIF . 41 II Rapport scientifique par équipes 6 Equipe Algorithmes et complexité . 55 7 Equipe Algorithmes Distribués et Graphes . 75 8 Equipe Automates . 109 9 Equipe Combinatoire . 145 ii 10 Equipe Modélisation et Vérification . 159 11 Équipe Preuves, Programmes et Systèmes . 183 III Projet scientifique de l’IRIF 12 Projet scientifique de l’IRIF à cinq ans . 219 13 Pôle Algorithmes et structures combinatoires . 229 14 Pôle Automates, Structures et Vérification . 247 15 Pôle Preuves, Programmes et Systèmes . 259 IV Annexe : Liste complète des publications du laboratoire 16 Equipe Algorithmes et complexité . 271 17 Equipe Algorithmique distribuée et graphes . 285 18 Equipe Automates et applications . 303 19 Equipe Combinatoire . 319 20 Equipe Modélisation et vérification . 325 21 Equipe Preuves, programmes et systèmes . 335 IRapport scientifique de l’IRIF Présentation de l’IRIF . 3 Produits et activités de recherche de l’IRIF . 21 Organisation et vie de l’IRIF . 31 Analyse SWOT de l’IRIF . 39 Annexes IRIF . 41 1. Présentation de l’IRIF 1.1 Introduction 1.1.1 Historique L’Institut de Recherche en Informatique Fondamentale (IRIF) est une UMR entre le CNRS et l’Université Paris Diderot, résultant de la fusion de deux UMR : — UMR 7089 : Laboratoire d’Informatique Algorithmique : Fondements et Applications (LIAFA) — UMR 7126 : Preuves, Programmes, Systèmes (PPS) Dans un premier temps, le LIAFA et PPS ont été fédérés dans le cadre de la Fédération d’Informatique Fondamentale de Paris Diderot (FR 3634), du 1er janvier 2014 au 31 décembre 2015. L’IRIF a été créé le 1er janvier 2016, et les deux UMR LIAFA et PPS ont cessé d’exister à cette même date, tout comme la fédération FR 3634. Bref historique du LIAFA. La création du LIAFA remonte à 1996, sur l’initiative de chercheurs et enseignants-chercheurs du LITP (Laboratoire d’Informatique Théorique et de Programmation). Jean-Eric Pin est nommé directeur du LIAFA en juin 1996, sous la forme d’une Equipe en Restructuration (ERS 586). Deux ans plus tard, le LIAFA est reconnu comme une Unité Mixte de Recherche (UMR 7089) par le CNRS et l’université Paris Diderot, sous la direction de Daniel Krob. Ce dernier assure la direction du LIAFA de 1998 à 2002. En 2003, Jean-Eric Pin est nommé derechef directeur du LIAFA, pour le quadriennal 2003-2007. Michel Habib prend ensuite la direction du laboratoire à partir de 2008 jusqu’à sa nomination à la direction du nouvel institut INS2I du CNRS (Institut des sciences de l’information et de leurs interactions) courant 2009. La direction du LIAFA est ensuite assurée par Pierre Fraigniaud de janvier 2010 à décembre 2015. Bref historique de PPS. Le laboratoire PPS a été créé par Pierre-Louis Curien en 1999 dans le but de réunir des chercheurs et enseignants-chercheurs du Laboratoire d’Informatique de l’ENS (LIENS) et de l’Équipe de Logique de Paris Diderot pour construire un groupe de recherche cohérent motivé par la volonté de comprendre les fondements mathématiques et logiques de la programmation. Il a obtenu le statut d’UMR le 1er janvier 2001 (UMR 7126). Tout en préservant sa cohérence méthodologique, le laboratoire s’est étoffé et a considérablement élargi son spectre scientifique au cours des années. Pierre-Louis Curien en a assuré la direction de 1999 à 2008, et Thomas Ehrhard a pris le relais de janvier 2009 à décembre 2015. Les principales thématiques de recherche du LIAFA se déclinaient autour de la théorie des automates, de la combinatoire, de la théorie des graphes, de l’algorithmique et de la vérification. Les principales thématiques de recherche de PPS se déclinaient quant à elles autour de la programmation, des languages, de la preuve et la certification de programmes, de la théorie des types, et de l’analyse et la conception de systèmes. Par ailleurs, le LIAFA hébergeait l’équipe-projet Inria GANG, et PPS hébergeait l’équipe-projet Inria pi.r2. Mi-2015, soit au moment de la demande incitée par le CNRS de création de l’IRIF par les directions du LIAFA et de PPS, les effectifs des deux unités se déclinaient de la manière suivante : — LIAFA : 60 membres permanents : 34 enseignants-chercheurs, 24 chercheurs CNRS et 2 cher- cheurs Inria, pour un effectif total du laboratoire, incluant doctorants, post-doctorants, personnels administratifs et techniques, etc., de près de 110 personnes; 4 Chapitre 1. Présentation de l’IRIF — PPS : 34 membres permanents : 19 enseignants-chercheurs, 12 chercheurs CNRS, 3 chercheurs Inria, pour un effectif total d’environ 70 personnes. A sa création, les membres de l’IRIF sont définis comme l’ensemble des membres des deux unités LIAFA et PPS, incluant donc, au 1er janvier 2016, plus de 90 membres permanents pour un effectif total d’environ 180 personnes. En particulier, l’IRIF héberge les deux équipes-projets Inria GANG et pi.r2 anciennement hébergées au LIAFA et à PPS, respectivement. Direction de l’IRIF. La direction de l’IRIF fut soumise à l’approbation des membres du LIAFA et de PPS réunis en AG commune le 11 mars 2015, qui l’approuvèrent. L’IRIF fut créé le 1er janvier 2016, avec la nomination de la direction suivante jusqu’à la fin du quinquennat 2014-2018 (voir l’annexe 1 pour la lettre de mission, et l’annexe 3 pour l’organigramme fonctionnel) : Directeur : Pierre Fraigniaud, DR CNRS (ancien directeur du LIAFA) Directeur adjoint : Thomas Ehrhard, DR CNRS (ancien directeur de PPS) 1.1.2 Locaux La fusion des deux unités LIAFA et PPS n’a pas impliqué de déménagement, et l’IRIF occupe un unique site : 75% du 3ème étage (les locaux de l’ex-PPS) et 100% du 4ème étage (les locaux de l’ex-LIAFA) du récent bâtiment Sophie Germain du campus de l’université Paris Diderot. FIGURE 1.1 – Campus de Paris Diderot et bâtiment Sophie Germain Le rapprochement des deux UMR avait été anticipé début 2012 lors de discussions entre les directions des deux laboratoires, l’UFR d’informatique, et l’université Paris Diderot, portant sur l’architecture du bâtiment Sophie Germain. Ces discussions ont permis la création d’un escalier en accès libre connectant directement les 3èmes et 4èmes étages, positionné au centre des plateaux de ces étages. Les locaux de l’IRIF sont donc contigus au sein du bâtiment, permettant une circulation aisée et des rencontres fréquentes entre les personnels. Les locaux de l’IRIF, outre un ensemble de bureaux de surfaces variées permettant une répartition appropriée des personnels en fonction de leurs statuts et de leurs fonctions, incluent sept salles de travail (sans fenêtre), plusieurs locaux techniques (impressions, photocopies, courrier, archives, etc.), deux espaces conviviaux situés au cœur des deux plateaux de l’unité, et une vaste salle de réunion avec fenêtre (salle 3052). En sus, l’IRIF dispose d’une salle dédiée au 1er étage du bâtiment (salle 1007), mise à disposition de l’unité par l’université Paris Diderot pour les séminaires hebdomadaires et les groupes de travail réguliers de l’unité. L’IRIF a également plein accès, sous réserve de disponibilité, à la salle de réunion de l’UFR Informatique du 3ème étage. Enfin, pour des événements de plus grande envergure, l’IRIF a accès aux amphithéâtres de l’université (Turing de 50 places dans le bâtiment Sophie Germain, Buffon de 200 places dans le bâtiment Buffon, etc.) L’IRIF est donc très satisfait de ses locaux, modernes et fonctionnels. 1.1 Introduction 5 FIGURE 1.2 – Locaux de l’IRIF (escalier connectant les 3ème et 4ème étages) Il convient toutefois d’apporter un bémol notable à ce tableau, lié à la fermeture courant 2015 de l’ensemble des salles de travail, imposée par l’université Paris Diderot du fait de non-conformité avec les règles de sécurité (absence de mécanismes de désenfumage). Le laboratoire, en attente de l’installation de ces mécanismes, est actuellement très pénalisé par le manque de salles de travail résultant de la lenteur de la mise en conformité de ces salles. FIGURE 1.3 – Bibliothèque Mathématiques Informatique Recherche 1.1.3 Equipements et plateformes L’équipement du laboratoire consiste essentiellement en un ensemble de postes de travail individuels (Mac, ou PC sous Linux). Le laboratoire pourvoit chacun de ses membres, permanents comme non- permanents, d’un tel poste (il a récemment procédé au remplacement de l’ensemble de ses terminaux par des PC autonomes, administrés à distance pour les mises à jour et les sauvegardes). Les moyens informatiques des laboratoires du bâtiment Sophie Germain (l’IRIF, et les trois laboratoires de mathématiques de l’université), de la bibliothèque Paris Mathématiques Informatique Recherche (située au 8ème étage du bâtiment), et de l’UFR de mathématiques, sont mis en commun au sein de la plateforme informatique de Sophie Germain.