Laboratoire d Informatique de l X

Transcription

1 Dossier d Evaluation d une Unité de Recherche Vague E: Campagne d Evaluation Laboratoire d Informatique de l X LIX UMR 7161 Ecole Polytechnique Palaiseau Cedex Nom de l unité: Acronyme: Nom du directeur pour le contrat en cours: Nom du directeur pour le contrat à venir: Laboratoire d Informatique de l X LIX Olivier Bournez Olivier Bournez Type de demande: Renouvellement avec modifications Choix de l évaluation interdisciplinaire de l unité de recherche: Non.

2 2

3 Préambule Ce document décrit les activités scientifiques et administratives du Laboratoire d Informatique de l X (LIX), UMR 7161, Ecole Polytechnique - CNRS, pour la période allant du 1er janvier 2008 au 30 juin 2013, en les positionnant dans la perspective d un nouveau mandat de l unité. Ce document s accompagne d un autre document, contenant les annexes, dans l ordre suggéré par le site de l AERES. Plusieurs des informations dans ces annexes sont dupliquées dans ce document, pour rendre ce document facilement lisible, en particulier, pour permettre une lecture aisée des activités des équipes évitant les aller-retour entre documents. La première partie de ce document présente l unité, ses réalisations, les activités de l unité dans la formation dans la recherche, et des éléments de positionnement, stratégie et perspectives pour le futur contrat. Ce document se poursuit par un chapitre par équipe du laboratoire. Pour chaque équipe, on présente la liste des membres et ses évolutions, un rapport sur les activités effectuées dans ce mandat, et des éléments de perspective pour le mandat à venir, une fiche résumée, ainsi qu une liste des réalisations. Chaque équipe propose par ailleurs une auto-analyse AFOM (Atouts, Faiblesses, Opportunités, Menaces) (parfois aussi appelée SWOT). On trouvera dans l autre document reproduit les fiches résumées par équipe. On trouvera par ailleurs un organigramme fonctionnel, copie du règlement intérieur de l unité, et une liste exhaustive des publications de chacune des équipes, et de leurs contrats. Il se termine par une liste des thèses en cours et thèses soutenues, ainsi que par une liste de personnel Notre laboratoire a la chance de compter parmi ses membres de nombreuses nationalités: le dernier recensement 1 dénombrait 16 nationalités au LIX. Les langues les plus parlées quotidiennement dans nos équipes sont le français, l anglais, l allemand et l italien. Pour la rédaction du présent rapport, nous avons retenu le français et l anglais pour que les auteurs de chaque équipe puissent retranscrire au plus juste leur pensée. Ce document n aurait pas pu exister sans le travail de tout le laboratoire. Je remercie ici tous ceux qui y ont pris part directement ou indirectement. Je voudrais en particulier remercier le comité AERES, mis en en place au printemps, qui par ses réunions régulières a permis que ce document soit ce qu il est. Merci à Daniel Augot, Vincent Pilaud, Dominique Rossin, pour leur aide quasi quotidienne, ainsi qu à Catuscia Palamidessi et Benjamin Werner pour toute leur aide. Les responsables d équipe et les correspondants par équipe, en particulier Thomas Clausen, Miki Hermann, Grégoire Lecerf, François Morain, Jean-Marc Notin, Yann Ponty, Antoine Rauzy, David Savourey, Lutz Strasβurger, Frank Valencia ont été d une aide précieuse, et un moyen de relais incessant. Je voudrais adresser des remerciements tout particuliers aux relecteurs, en particulier à Kaustuv Chaudhuri pour des retours très détaillés, à François Morain pour un énorme travail autour de la bibliographie, en plus du reste, et à Grégoire Lecerf pour des propositions de formulation souvent très fines et judicieuses de certaines parties. Enfin, tout cela n aurait pas pu exister sans le travail quotidien de James Régis, aux moyens informatiques, et de Sylvie Jabinet, Valérie Lecomte, Christelle Liévin, et Evelyne Rayssac pour obtenir toutes les données nécessaires. Merci à Sylvie et Evelyne en particulier pour leur patience à produire et reproduire certaines données de multiples fois au gré des demandes pour permettre à ce rapport d être dans l état où il est. October 15, 2013 Olivier Bournez Directeur du LIX

4 Table des matières I Présentation du laboratoire 19 TYPICAL SYSMO ARSIFAL MAX IPERCOM CRYPTO Comète I.1 Le LIX 21 I.1.1 Présentation de l unité I Introduction I Structuration scientifique I Photographie au 30 Juin I Vie scientifique de l unité I Effectifs du laboratoire I Gouvernance du laboratoire I Administration et services I Moyens et évolutions I.1.2 Réalisations I Production scientifique sur le mandat I Le LIX dans son environnement I Animation I Évolutions sur le mandat I.1.3 Implication du LIX dans la formation par la recherche I Le Département d Informatique de l X I Formation au niveau L I Formation en Master I Pilotage de Master 2. Enseignement en Master I Accueil de doctorants au LIX I.1.4 Stratégie et perspectives scientifiques pour le futur contrat I Axe: Algorithmes, Combinatoire, Modèles I Axe: Informatique distribuée et sécurité I Axe: Calcul symbolique et preuve I.2 Analyse AFOM du laboratoire 53 Rapport et projet scientifique par équipe 57 COMBI AMIB AlCo LIX II Équipe Algorithmique et Complexité (AlCo) 59 II.1 Liste des membres : Algorithmique et Complexité 61 II.1.1 Liste actuelle des membres II Membres permanents II Doctorants et postdoctorants II.1.2 Anciens membres II Membres permanents II Doctorants et postdoctorants II Autres membres

5 TABLE DES MATIÈRES 5 II.2 Rapport scientifique : Algorithmique et Complexité 63 II.2.1 Thématique générale et principaux objectifs II Introduction II Thémes de recherche II Exemples de résultats significatifs II Animation scientifique, rayonnement, prix et récompenses II Fonctionnement interne II Formation par la recherche II.3 Projet de recherche : Algorithmique et Complexité 67 II.3.1 Objectifs scientifiques II Complexity of Constraint Satisfaction problems II Counting Complexity II Computations over the continuum II.3.2 Mise en oeuvre II.4 Analyse AFOM : Algorithmique et Complexité 69 II.5 Fiche résumé : Algorithmique et Complexité 71 II.5.1 Membres II.5.2 Résultats scientifiques II.5.3 Production scientifique II Publications II Rayonnement II Actions de formation II.6 Production scientifique : Algorithmique et Complexité 73 II.6.1 Livres et chapitres de livres II.6.2 Documents pédagogiques II.6.3 Revues internationales II.6.4 Conférences internationales II.6.5 Conférences nationales II.6.6 Conférences invitées II.6.7 Thèses II.6.8 Habilitation à diriger des recherches II.7 Annexes : Algorithmique et Complexité 81 II.7.1 Participations à la communauté scientifique et responsabilités administratives 81 II Responsabilités de projets internationaux II Responsabilités de projets nationaux II Participation à des projets internationaux II Participation à des projets nationaux II.7.2 Administration de la recherche II Activités éditoriales II Gestion scientifique de conférences II Organisation d événements scientifiques II Participation à des comités et jurys scientifiques II.7.3 Activités de formation, encadrement et évaluation II Liste des thèses et HDR soutenues II Liste de rapports de thèses et HDR II Enseignements dispensés II.7.4 Autres éléments de visibilité II Invitations II Prix et distinctions TYPICAL SYSMO PARSIFAL MAX HIPERCOM CRYPTO Comète COMBI AMIB AlCo LIX

6 6 TABLE DES MATIÈRES III Équipe Bio-Informatique (AMIB) 89 III.1 Liste des membres : Bio-Informatique 91 III.1.1 Liste actuelle des membres III Membres permanents III Doctorants et postdoctorants III Visiteurs et autres membres III.1.2 Anciens membres III Membres permanents III Doctorants et postdoctorants III Autres membres TYPICAL SYSMO ARSIFAL MAX IPERCOM CRYPTO Comète COMBI AMIB AlCo LIX III.2 Rapport scientifique : Bio-Informatique 93 III.2.1 Thématique générale et principaux objectifs III Introduction III Thèmes de recherche III Exemples de résultats significatifs III Animation scientifique, rayonnement, prix et récompenses III Fonctionnement interne III Formation par la recherche III.3 Projet de recherche : Bio-Informatique 99 III.3.1 Objectifs scientifiques III Sequences : combinatorics and algorithms III RNA structures III D modeling of macromolecules and their interactions III Cell metabolism III.3.2 Mise en oeuvre III.4 Analyse AFOM : Bio-Informatique 105 III.5 Fiche résumé : Bio-Informatique 107 III.5.1 Membres III.5.2 Résultats scientifiques III.5.3 Production scientifique III Publications III Rayonnement III Actions de formation III.6 Production scientifique : Bio-Informatique 109 III.6.1 Livres et chapitres de livres III.6.2 Revues internationales III.6.3 Conférences internationales III.6.4 Conférences nationales III.6.5 Conférences invitées III.6.6 Thèses III.6.7 Rapports techniques III.6.8 Logiciels III VARNA Visualizing and editing RNA secondary structure III GenRGenS Generation of Random Genomic Sequences III ESBTL (Easy Structural Biology Template Library) III DiMoVo - DIscriminate between Multimers and MOnomers by VOronoi tessellation III VorScore - Voronoi Scoring Function Server

7 TABLE DES MATIÈRES 7 III.7 Annexes : Bio-Informatique 117 III.7.1 Participations à la communauté scientifique et responsabilités administratives 117 III Responsabilités de projets internationaux III Participation à des projets nationaux III Participation à des projets locaux III.7.2 Administration de la recherche III Activités éditoriales III Gestion scientifique de conférences III Organisation d événements scientifiques III Participation à des comités et jurys scientifiques III.7.3 Activités de formation, encadrement et évaluation III Liste des thèses et HDR soutenues III Liste de rapports de thèses et HDR III Enseignements dispensés III.7.4 Autres éléments de visibilité III Rencontres scientifiques sur invitation III Invitations III.8 Références externes 125 TYPICAL IV Équipe Combinatoire (COMBI) 127 IV.1 Liste des membres : Combinatoire 129 IV.1.1 Liste actuelle des membres IV Membres permanents IV Doctorants et postdoctorants IV Visiteurs et autres membres IV.1.2 Anciens membres IV Membres permanents IV Doctorants et postdoctorants IV Autres membres IV.2 Rapport scientifique : Combinatoire 131 IV.2.1 Introduction IV.2.2 Thèmes de recherche IV.2.3 Exemples de résultats significatifs IV.2.4 Animation scientifique, rayonnement, prix et récompenses IV Fonctionnement interne IV Formation par la recherche IV.3 Projet de recherche : Combinatoire 137 IV.3.1 Introduction IV.3.2 Objectifs scientifiques et mise en œuvre IV.4 Analyse AFOM : Combinatoire 141 IV.5 Fiche résumé : Combinatoire 143 IV.5.1 Membres IV.5.2 Résultats scientifiques IV.5.3 Production scientifique IV Publications IV Rayonnement IV Actions de formation SYSMO PARSIFAL MAX HIPERCOM CRYPTO Comète COMBI AMIB AlCo LIX

8 8 TABLE DES MATIÈRES IV.6 Production scientifique : Combinatoire 147 IV.6.1 Livres et chapitres de livres IV.6.2 Revues internationales IV.6.3 Conférences internationales IV.6.4 Thèses IV.6.5 Autres IV.6.6 Communications à des conférences nationales sans actes TYPICAL SYSMO ARSIFAL MAX IV.7 Annexes : Combinatoire 157 IV.7.1 Participations à la communauté scientifique et responsabilités administrative 157 IV Responsabilités de projets internationaux IV Responsabilités de projets nationaux IV Participation à des projets internationaux IV Participation à des projets nationaux IV Participation à des projets locaux IV.7.2 Administration de la recherche IV Activités éditoriales IV Gestion scientifique de conférences IV Organisation d événements scientifiques IV Participation à des comités et jurys scientifiques IV.7.3 Activités de formation, encadrement et évaluation IV Liste des thèses et HDR soutenues IV Liste de rapports de thèses et HDR IV Enseignements dispensés IV.7.4 Autres éléments de visibilité IV Exposés invités en conférences IV Participation à des workshops sur invitations IV Invitations à l étranger IV Exposés en séminaires IV Prix et distinctions IPERCOM CRYPTO Comète COMBI AMIB AlCo LIX V Équipe Concurrency, Mobility and Transactions (Comète) 165 V.1 Liste des membres : Concurrency, Mobility and Transactions 167 V.1.1 Liste actuelle des membres V Membres permanents V Doctorants et postdoctorants V Visiteurs et autres membres V.1.2 Anciens membres V Membres permanents V Doctorants et postdoctorants V Autres membres V.2 Rapport scientifique : Concurrency, Mobility and Transactions 171 V.2.1 Thématique générale et principaux objectifs V Introduction V Thèmes de recherche V Exemples de résultats significatifs V Animation scientifique, rayonnement, prix et récompenses V Fonctionnement interne V.3 Projet de recherche : Concurrency, Mobility and Transactions 177 V.3.1 Objectifs scientifiques

9 TABLE DES MATIÈRES 9 V Objectif 1: Privacy protection in trace-based services V Objectif 2: Extending the Theory of Quantitative Information Flow V Objectif 3: Epistemic and Spatial Reasoning for Distributed Systems with Applications to Social Networks V.4 Analyse AFOM : Concurrency, Mobility and Transactions 183 V.5 Fiche résumé : Concurrency, Mobility and Transactions 185 V.5.1 Membres V.5.2 Résultats scientifiques V.5.3 Production scientifique V Publications V Rayonnement V Actions de formation V.6 Production scientifique : Concurrency, Mobility and Transactions 189 V.6.1 Livres et chapitres de livres V.6.2 Revues internationales V.6.3 Conférences internationales V.6.4 Conférences invitées V.6.5 Thèses V.6.6 Rapports techniques V.7 Annexes : Concurrency, Mobility and Transactions 199 V.7.1 Participations à la communauté scientifique et responsabilités administrative 199 V Responsabilités de projets internationaux V Responsabilités de projets nationaux V Participation à des projets internationaux V Participation à des projets nationaux V Contrats et bourses V.7.2 Administration de la recherche V Activités éditoriales V Gestion scientifique de conférences V Organisation d événements scientifiques V Participation à des comités et jurys scientifiques V.7.3 Activités de formation, encadrement et évaluation V Liste des thèses et HDR soutenues V Liste de rapports de thèses et HDR V Enseignements dispensés V.7.4 Autres éléments de visibilité V Invited Presentations V Participations sur invitation à des rencontres scientifiques V Prix et distinctions VI Équipe Cryptographie (CRYPTO) 213 VI.1 Liste des membres : Cryptographie 215 VI.1.1 Liste actuelle des membres VI Membres permanents VI Doctorants et postdoctorants VI Visiteurs et autres membres VI.1.2 Anciens membres VI Membres permanents TYPICAL SYSMO PARSIFAL MAX HIPERCOM CRYPTO Comète COMBI AMIB AlCo LIX

10 10 TABLE DES MATIÈRES VI Doctorants et postdoctorants VI Autres membres VI.2 Rapport scientifique : Cryptographie 217 VI.2.1 Thématique générale et principaux objectifs VI Introduction VI Thèmes de recherche VI Exemples de résultats significatifs VI Animation scientifique, rayonnement, prix et récompenses VI Local positionning VI Fonctionnement interne VI Formation par la recherche TYPICAL SYSMO ARSIFAL MAX IPERCOM CRYPTO Comète COMBI AMIB AlCo LIX VI.3 Projet de recherche : Cryptographie 223 VI.3.1 Objectifs scientifiques VI Basic Number Theory VI Isogeny and Endomorphism Computations VI Algebraic Geometry Codes VI Unique, List and Local Decoding VI.4 Analyse AFOM : Cryptographie 227 VI.5 Fiche résumé : Cryptographie 229 VI.5.1 Membres VI.5.2 Résultats scientifiques VI.5.3 Production scientifique VI Publications VI Rayonnement VI Actions de formation VI Software VI.6 Production scientifique : Cryptographie 231 VI.6.1 Livres et chapitres de livres VI.6.2 Documents pédagogiques VI.6.3 Revues internationales VI.6.4 Conférences internationales VI.6.5 Conférences nationales VI.6.6 Vulgarisation VI.6.7 Logiciel VI Multiprecision VI Integer Factorization VI Elliptic curves over finite fields: SEA VI Coding theory VI.6.8 Thèses VI.6.9 Brevets VI.6.10 Rapports techniques VI.6.11 Autres VI.7 Annexes : Cryptographie 239 VI.7.1 Participations à la communauté scientifique et responsabilités administrative 239 VI Participation à des projets nationaux VI Participation à des projets locaux VI Contrats bilatéraux VI.7.2 Administration de la recherche

11 TABLE DES MATIÈRES 11 VI Activités éditoriales VI Gestion scientifique de conférences VI Organisation d événements scientifiques VI Participation à des comités et jurys scientifiques VI.7.3 Activités de formation, encadrement et évaluation VI Liste des thèses et HDR soutenues VI Liste de rapports de thèses et HDR VI Enseignements dispensés VI.7.4 Autres éléments de visibilité VI Invitations VI Prix et distinctions VII Équipe High-Performance Communications (Hipercom) 249 VII.1 Liste des membres : High-Performance Communications 251 VII.1.1 Liste actuelle des membres VII Membres permanents VII Doctorants et postdoctorants VII.1.2 Anciens membres VII Membres permanents VII Doctorants et postdoctorants VII Autres membres VII.2 Rapport scientifique : High-Performance Communications 253 VII.2.1 Thématique générale et principaux objectifs VII Introduction VII Thèmes de recherche VII Exemples de résultats significatifs VII Animation scientifique, rayonnement, prix et récompenses VII Fonctionnement interne VII Formation par la recherche VII.3 Fiche résumé : High-Performance Communications 259 VII.3.1 Membres VII.3.2 Résultats scientifiques VII.3.3 Production scientifique VII Publications VII Rayonnement VII Actions de formation VII.4 Production scientifique : High-Performance Communications 263 VII.4.1 Livres et chapitres de livres VII.4.2 Revues internationales VII.4.3 Conférences internationales VII.4.4 Thèses VII.4.5 Normalisation - Ratified Standards VII.4.6 Normalisation - Contributions VII.4.7 Rapports techniques VII.4.8 Autres VII.5 Annexes : High-Performance Communications 277 VII.5.1 Participations à la communauté scientifique et responsabilités administrative 277 VII Responsabilités de projets internationaux TYPICAL SYSMO PARSIFAL MAX HIPERCOM CRYPTO Comète COMBI AMIB AlCo LIX

12 12 TABLE DES MATIÈRES VII Responsabilités de projets nationaux VII.5.2 Administration de la recherche VII Activités éditoriales VII Organisation d événements scientifiques VII.5.3 Activités de formation, encadrement et évaluation VII Enseignements dispensés VII.5.4 Autres éléments de visibilité VII Invitations VIII Équipe Modélisation Algébrique et Calcul Symbolique (MAX) 283 TYPICAL SYSMO ARSIFAL MAX IPERCOM CRYPTO Comète COMBI AMIB AlCo LIX VIII.1Liste des membres : Modélisation Algébrique et Calcul Symbolique 285 VIII.1.1 Liste actuelle des membres VIII Membres permanents VIII Autres membres VIII.1.2 Anciens membres VIII Doctorants et postdoctorants VIII Autres membres VIII.2Rapport scientifique : Modélisation Algébrique et Calcul Symbolique 287 VIII.2.1 Introduction VIII.2.2 Thèmes de recherche VIII.2.3 Logiciels VIII.2.4 Exemples de résultats significatifs VIII.2.5 Animation scientifique, rayonnement, prix et récompenses VIII.2.6 Fonctionnement interne VIII.2.7 Formation par la recherche VIII.2.8 Création d entreprise VIII.3Projet de recherche : Modélisation Algébrique et Calcul Symbolique 293 VIII.3.1 Objectifs scientifiques VIII Algorithmes fondamentaux pour le calcul formel VIII Algorithmes fondamentaux pour le calcul analytique VIII Résolution de systèmes polynomiaux invariants sous un groupe VIII Résolution réelle des systèmes polynomiaux VIII Résolution des systèmes différentiels VIII Développement de méthodes diverses en automatique et traitement du signal VIII Refondation de la théorie des séries temporelles VIII Logiciels de calcul formel et analytique VIII Plateforme d édition et de calcul scientifiques VIII.3.2 Mise en œuvre VIII.4Analyse AFOM : Modélisation Algébrique et Calcul Symbolique 297 VIII.5Fiche résumé : Modélisation Algébrique et Calcul Symbolique 299 VIII.5.1 Membres VIII.5.2 Résultats scientifiques VIII.5.3 Production scientifique VIII Publications VIII Rayonnement VIII Actions de formation VIII.6Production scientifique : Modélisation Algébrique et Calcul Symbolique 301

13 TABLE DES MATIÈRES 13 VIII.6.1 Livres et chapitres de livres VIII.6.2 Documents pédagogiques VIII.6.3 Revues internationales VIII.6.4 Conférences internationales VIII.6.5 Conférences nationales VIII.6.6 Conférences invitées VIII.6.7 Brevets VIII.6.8 Thèses VIII.6.9 Logiciels VIII.6.10 Rapports techniques VIII.6.11 Autres VIII.7Annexes : Modélisation Algébrique et Calcul Symbolique 311 VIII.7.1 Participations à la communauté scientifique et responsabilités administratives 311 VIII Responsabilités de projets internationaux VIII Responsabilités de projets nationaux VIII Participation à des projets internationaux VIII Participation à des projets nationaux VIII.7.2 Administration de la recherche VIII Activités éditoriales VIII Gestion scientifique de conférences VIII Organisation d événements scientifiques VIII Participation à des comités et jurys scientifiques VIII.7.3 Activités de formation, encadrement et évaluation VIII Liste des thèses et HDR soutenues VIII Liste de rapports de thèses et HDR VIII Enseignements dispensés VIII.7.4 Autres éléments de visibilité VIII Invitations VIII Prix et distinctions TYPICAL SYSMO PARSIFAL MAX IX Équipe Parsifal (PARSIFAL) 321 IX.1 Liste des membres : Parsifal 323 IX.1.1 Liste actuelle des membres IX Membres permanents IX Doctorants et postdoctorants IX Visiteurs et autres membres IX.1.2 Anciens membres IX Membres permanents IX Doctorants et postdoctorants IX Autres membres IX.2 Rapport scientifique : Parsifal 325 IX.2.1 Introduction IX.2.2 Research Themes IX.2.3 Software IX.2.4 Exemples de résultats significatifs IX.2.5 Animation scientifique, rayonnement, prix et récompenses IX.2.6 Fonctionnement interne IX.3 Projet de recherche : Parsifal 331 IX.3.1 Objectifs scientifiques HIPERCOM CRYPTO Comète COMBI AMIB AlCo LIX

14 14 TABLE DES MATIÈRES IX Proof Certificates IX Focused proof systems for arithmetic IX Instantiation of variables beyond first-order logic IX Extending and enhancing our computational tools IX Deep Inference IX Proof Complexity IX Geometry of Rewriting IX.4 Analyse AFOM : Parsifal 335 IX.5 Fiche résumé : Parsifal 337 IX.5.1 Membres IX.5.2 Résultats scientifiques IX.5.3 Production scientifique IX Publications IX Rayonnement IX Actions de formation TYPICAL SYSMO ARSIFAL MAX IPERCOM CRYPTO Comète COMBI AMIB IX.6 Production scientifique : Parsifal 341 IX.6.1 Livres et chapitres de livres IX.6.2 Revues internationales IX.6.3 Conférences internationales IX.6.4 Conférences invitées IX.6.5 Logiciel IX.6.6 Thèses IX.6.7 Habilitation à diriger des recherches IX.6.8 Rapports techniques IX.6.9 Autres IX.7 Annexes : Parsifal 351 IX.7.1 Participations à la communauté scientifique et responsabilités administrative 351 IX Responsabilités de projets internationaux IX Responsabilités de projets nationaux IX Participation à des projets internationaux IX Participation à des projets nationaux IX.7.2 Administration de la recherche IX Activités éditoriales IX Gestion scientifique de conférences IX Organisation d événements scientifiques IX Participation à des comités et jurys scientifiques IX.7.3 Activités de formation, encadrement et évaluation IX Liste des thèses et HDR soutenues IX Liste de rapports de thèses et HDR IX Enseignements dispensés IX.7.4 Autres éléments de visibilité IX Invitations IX Prix et distinctions AlCo LIX X Équipe Sysmo (Sysmo) 361 X.1 Liste des membres : Sysmo 363 X.1.1 Liste actuelle des membres X Membres permanents

15 TABLE DES MATIÈRES 15 X Doctorants et postdoctorants X Visiteurs et autres membres X.1.2 Anciens membres X Membres permanents X Doctorants et postdoctorants X Autres membres X.2 Rapport scientifique : Sysmo 367 X.2.1 Thématique générale et principaux objectifs X Introduction X Research themes X Exemples de résultats significatifs X Animation scientifique, rayonnement, prix et récompenses X Fonctionnement interne X Formation par la recherche X.3 Projet de recherche : Sysmo 373 X.3.1 Objectifs scientifiques X Formal Definition and Modelling of Complex Industrial Systems X Optimization of Complex Industrial Systems X Safety Assessment of Complex Industrial Systems X Data Science and Mining X.4 Analyse AFOM : Sysmo 377 X.5 Fiche résumé : Sysmo 379 X.5.1 Membres X.5.2 Résultats scientifiques X.5.3 Production scientifique X Publications X Rayonnement X Actions de formation X.6 Production scientifique : Sysmo 381 X.6.1 Livres et chapitres de livres X.6.2 Édition de livres et de numéros spéciaux de revues X.6.3 Documents pédagogiques X.6.4 Revues internationales X.6.5 Revues nationales X.6.6 Conférences internationales X.6.7 Conférences nationales X.6.8 Brevets X.6.9 Vulgarisation X.6.10 Thèses X.6.11 Rapports techniques X.6.12 Autres X.7 Annexes : Sysmo 401 X Responsabilités de projets internationaux X Responsabilités de projets nationaux X Participation à des projets internationaux X Participation à des projets nationaux X Participation à des projets locaux X.7.1 Administration de la recherche TYPICAL SYSMO PARSIFAL MAX HIPERCOM CRYPTO Comète COMBI AMIB AlCo LIX

16 16 TABLE DES MATIÈRES X Activités éditoriales X Gestion scientifique de conférences X Organisation d événements scientifiques X Participation à des comités et jurys scientifiques X.7.2 Activités de formation, encadrement et évaluation X Liste des thèses et HDR soutenues X Liste de rapports de thèses et HDR X Enseignements dispensés X.7.3 Autres éléments de visibilité X Invitations X Prix et distinctions XI Équipe Typical (Typical) 417 TYPICAL SYSMO ARSIFAL MAX IPERCOM CRYPTO Comète COMBI AMIB AlCo LIX XI.1 Liste des membres : Typical 419 XI.1.1 Liste actuelle des membres XI Membres permanents XI Doctorants et postdoctorants XI.1.2 Anciens membres XI Membres permanents XI Doctorants et postdoctorants XI Autres membres XI.2 Rapport scientifique : Typical 423 XI.2.1 Thématique générale et principaux objectifs XI Current Context XI Introduction XI Thèmes de recherche XI Exemples de résultats significatifs XI Logiciels XI Animation scientifique, rayonnement, prix et récompenses XI.3 Projet de recherche : Typical 429 XI.3.1 Objectifs scientifiques XI Better numbers in Coq XI Formal Computer Algebra XI.4 Fiche résumé : Typical 433 XI.4.1 Membres XI.4.2 Résultats scientifiques XI.4.3 Production scientifique XI Publications XI Rayonnement XI Actions de formation XI.5 Production scientifique : Typical 435 XI.5.1 Livres et chapitres de livres XI.5.2 Documents pédagogiques XI.5.3 Revues internationales XI.5.4 Conférences internationales XI.5.5 Conférences nationales XI.5.6 Logiciels XI.5.7 Thèses

17 TABLE DES MATIÈRES 17 XI.5.8 Habilitation à diriger des recherches XI.5.9 Rapports techniques XI.5.10 Autres XI.6 Annexes : Typical 443 XI.6.1 Participations à la communauté scientifique et responsabilités administrative 443 XI Responsabilités de projets internationaux XI Responsabilités de projets nationaux XI Participation à des projets internationaux XI Participation à des projets nationaux XI Participation à des projets locaux XI.6.2 Administration de la recherche XI Activités éditoriales XI Gestion scientifique de conférences XI Organisation d événements scientifiques XI Participation à des comités et jurys scientifiques XI.6.3 Activités de formation, encadrement et évaluation XI Liste des thèses et HDR soutenues XI Liste de rapports de thèses et HDR XI Enseignements dispensés XI.6.4 Autres éléments de visibilité XI Invitations

18 18 TABLE DES MATIÈRES

19 I Présentation du laboratoire 19

20

21 I.1 Le LIX I.1.1 I Présentation de l unité Introduction Le sigle LIX désigne le Laboratoire d Informatique de l École Polytechnique, la lettre X désignant l École polytechnique dans la tradition française. À ce titre, le LIX se doit d être une vitrine de la recherche en informatique dans la compétition internationale académique, être une vitrine du monde de la recherche pour les élèves de la formation d ingénieur de l école, et d être à la hauteur du prestige et des fonctions occupées par certains de ses anciens. Cela nécessite une palette d activités aussi large que possible, une recherche de qualité indiscutable, des contacts internationaux nombreux, des relations industrielles solides, et enfin, une vision claire de la place du laboratoire dans le paysage informatique de demain. Être un acteur visible et reconnu dans chacune de ces directions et couvrir l ensemble de ce spectre mène parfois le laboratoire à des activités qui peuvent paraîtres orthogonales, à la fois liées à une recherche académique de premier plan, des relations fortes avec le monde industriel et partenarial, et des activités de développement logiciel fortes. Le Laboratoire d Informatique de l X (LIX) est une unité mixte de recherche (UMR 7161) de l École polytechnique et du Centre National de la Recherche Scientifique (CNRS). Le CNRS est en 2013 le principal employeur des chercheurs et enseignants-chercheurs du laboratoire. Le LIX relève de l Institut National des Sciences de l Information et de leurs Interactions (INS2I) du CNRS. Les thèmes présents au laboratoire relèvent pour leur énorme majorité de la section 06 du Comité National du CNRS. Certaines activités relèvent de la section 41 (ex section 01), et de la section 07. L École polytechnique est organisée en départements enseignement-recherche. Le Département d Informatique est nommé DIX pour Département d Informatique de l X. DIX et LIX entretiennent des liens très étroits car le LIX est le seul laboratoire contenu dans le DIX d une part, et d autre part les membres du LIX sont des membres de droit du DIX 1. Les chercheurs du LIX entretiennent historiquement des liens étroits avec INRIA. Le LIX compte en 2013 en effet 4 Equipes Projets Communes (EPC) avec INRIA. Le LIX a été crée le 28 juin Il a été associé au CNRS et à l INRIA à partir de Le LIX est localisé sur le campus de l École polytechnique. Il occupe depuis septembre 2012 le bâtiment Alan-Turing. Il garde quelques bureaux dans ses anciens locaux dans l aile 0 de l aile des laboratoires de l École polytechnique. Direction La direction du laboratoire sur la période du 1er janvier 2008 à 2013 a été exercée successivement par Philippe Baptiste (Directeur adjoint: Gilles Dowek) jusqu au 1ier mars 2010, puis par Olivier Bournez (Directrice adjointe: Catuscia Palamidessi). Le changement de directeur et de directrice adjointe à fait suite au départ de Philippe Baptiste pour la direction de l Institut National des Sciences de l Information et de leurs Interactions (INS2I) du CNRS. I Structuration scientifique La structuration du laboratoire en juin 2013 est pour l essentielle celle du mandat : elle s organise autour de trois thèmes: l algorithmique, les réseaux, et les méthodes formelles. Le thème Algorithmes est composé des équipes: Algorithmes et Complexité, surnommée AlCo, dirigée par Miki Hermann. 1 Concrètement, le DIX est constitué des membres du LIX et des enseignants à temps partiels en informatique à l École polytechnique. 21

22 22 CHAPTER I.1. LE LIX Cette équipe s intéresse aux problèmes de satisfaction de contraintes et à leur complexité, aux modèles de calculs et dans une vision plus large aux questions d algorithmique et de théorie de la complexité. Bio-Informatique, surnommée AMIB, dirigée par Mireille Régnier. Cette équipe s intéresse à la biologie structurale: les protéines, l ARN et leurs interactions, et aux problèmes combinatoires liés au séquençage de nouvelle génération. Elle étudie la modélisation du métabolisme du cycle cellulaire. Modèles Combinatoires, surnommée COMBI, dirigée par Gilles Schaeffer. Cette équipe s intéresse aux descriptions combinatoires de structures géométriques, couvrant des problèmes issus de contextes variés (physique statistique, compression de données, topologie énumérative, etc...), et une méthodologie relevant principalement de l algorithmique discrète et de la combinatoire énumérative. Modèles Algébriques et Calculs Symboliques, surnommée MAX, dirigée par Marc Giusti. Cette équipe s intéresse aux calculs symboliques (résolution de systèmes algébriques ou différentiels algébriques), aux applications à la théorie du contrôle, à l analyse complexe effective, et au développement logiciel. Modèles et Systèmes, surnommée SYSMO, dirigée par Antoine Rauzy. Cette équipe s intéresse à l étude des systèmes industriels complexes. Organisée scientifiquement autour de quatre axes (l architecture, l optimisation et la sûreté de fonctionnement des systèmes industriels complexes d une part, la fouille de données d autre part), elle se caractérise scientifiquement par l utilisation d outils formels issus de l informatique théorique pour aborder des problèmes industriels concrets via de nombreux partenariats académiques et hors-académiques. Thème Réseaux composé des équipes: Hipercom, dirigée par Thomas Clausen. Cette équipe s intéresse à la conception et à l optimisation d algorithmes pour les télécommunications pour obtenir les meilleures performances du medium de communication sans fil. Cryptologie, surnommée CRYPTO, dirigée par Daniel Augot. Cette équipe s intéresse: aux algorithmes de base sur les entiers (primalité, factorisation) et sur les courbes algébriques (courbes elliptiques ou hyperelliptiques); aux cryptosystèmes basés sur la théorie algorithmique des nombres; aux codes correcteurs algébriques. En théorie algorithmique des nombres, elle produit des logiciels rapides permettant d établir des records. Thème Méthodes formelles composé des équipes: Comète, dirigée par Catuscia Palamidessi. Cette équipe s intéresse aux fondements du calcul distribué, au développement de méthodes pour la protection de la vie privée, l anonymat et du secret dans les systèmes d informations. Parsifal, dirigée par Dale Miller. Cette équipe s intéresse à l exploration des fondements logiques de la programmation et de la vérification, à la théorie de la preuve, avec l objectif d applications à la conception d outils de preuve et à leur possibilité de partage de preuves en confiance entre outils. Typical, dirigée par Benjamin Werner. Cette équipe vise à contribuer aux formalismes logiques qui permettent la preuve formelle d assertions mathématiques, avec l objectif de preuve assistée de démonstrations mathématiques complexes.

23 I.1.1. PRÉSENTATION DE L UNITÉ 23 I Photographie au 30 Juin 2013 Visibilité scientifique académique Le LIX est un laboratoire très visible sur le plan scientifique et académique: Il a publié 372 articles dans des revues internationales, et 508 articles dans des conférences internationales sur la période du 1ier janvier 2008 au 30 juin Il héberge des chercheurs et enseignants-chercheurs très visibles dans la compétition de recherche internationale. Par exemple, Dale Miller, titulaire d une ERC Advanced Grant, Gilles Schaeffer, et Manuel Bodirksy titulaires chacun d une ERC Starting Grant. Ses membres sont très actifs dans la communauté scientifique, et prennent part à des comités éditoriaux de journaux réputés, de nombreux comités de programmes, et aux instances de pilotage des plus grands organismes de recherche. Par exemple: Marc Giusti est rédacteur en Chef exécutif ( Managing Editor-in-Chief ) du journal AAECC (Applicable Algebra in Engineering, Communication and Computing). Léo Liberti est rédacteur en chef de 4OR. Dale Miller est rédacteur en chef de ACM Transactions on Computational Logic (Juin 2009 Mai 2015). Le LIX participe via ses membres aux comités éditoriaux des revues suivantes: ACM Transactions on Computational Logic, Annals of IHP: Combinatorics- Physics and Application, Central European Journal of Computer Science, Computability, Computational Management Science, Data Mining and Knowledge Discovery, Discrete Applied Mathematics, Discrete Mathematics and Theoretical Computer Science, EURO Journal of Computational Optimization, Electronic Notes of Theoretical Computer Science, Forum Mathematicum 3, Intelligent Data Analysis - An International Journal, International Transactions in Operational Research, Journal of Combinatorial Theory - Series A, Journal of Applied Logic, Journal of Applied Mathematics, Journal of Automated Reasoning, Journal of Global Optimization, Journal of Logic and Computation, Journal of Systems and Software Engineering, Journal of Virology, Machine Learning, Mathematical Structures in Computer Science, RAIRO - Theoretical Informatics and Applications, Techniques et Science Informatique, The Programming Languages Column of EATCS bulletin, Theory and Practice of Logic Programming, Undergraduate Topics in Computer Science, Programs and Proofs series. Relations partenariales et industrielles Le LIX est un laboratoire avec des relations partenariales et industrielles fortes avec le monde non-académique: Sur la période 2008 à 2013, il a entrenu en particulier des relations et des contrats avec l ADEME, la DIRIF, les sociétés ou entreprises CIAT, EADS, EDF, ERDF, FRANCAISE DES JEUX, FUJITSU, HITACHI, IBM, IGPDE, IFPEN, GOOGLE, MEDIAMOBILE, MICROSOFT, PSA, QUALCOMM, SAGEMCOM, RENAULT, TOYOTA, VALEO, ZODIAC AEROSPACE. Le LIX participe à deux dispositifs Carnot. Il participe, via ses EPC INRIA, au Carnot INRIA. Il est membre dans son intégralité du Carnot Telecom & Société du Numérique. Le LIX contribue de façon très visible et notable à des actions de transfert de technologie, et en particulier de normalisation autour des réseaux de télécommunications. Cela se manifeste par une participation active dans groupes de travail de l IETF. Sur la période 2008 à 2013, 8 standards IETF internationaux ratifiés ont pour auteur des membres du LIX, et certains de ses enseignants-chercheurs (Thomas Clausen) sont extrêmement visibles à l IETF. 2 Ce qui fait près de 3,68 publications par an et par chercheurs+enseignant-chercheurs, le nombre de permanent moyen étant fixé à sa moyenne sur la période, soit 43,42. 3 Jusqu en 2011.

24 24 CHAPTER I.1. LE LIX Les travaux issus du LIX sont aussi à l origine de création de startup et d entreprises. En particulier, la société AL.I.E.N. (acronyme de ALgèbre pour Identification et Estimation Numériques), spin-off de l École polytechnique et de l Université de Lorraine a été fondée à la toute fin de l année 2011 par Cédric Join (Université de Lorraine) et Michel Fliess (LIX). La société AL.I.E.N. a obtenu en 2011 le prix OSEO en catégorie émergence. Le LIX est aussi à l origine de brevets 4 Par exemple, ses collaborations avec EDF et la DIRIF ont conduit à deux brevets dont l École polytechnique est partie prenante. Le brevet avec EDF a obtenu le prix de l innovation en 2010, catégorie brevet. Le LIX participe par ailleurs via ses membres et le DIX à deux chaires industrielles. La chaire Ingéniérie des systèmes complexes, qui est une chaire École polytechnique ENSTA ParisTech Telecom ParisTech Dassault Aviation DCNS DGA Thalès, coordonnée par Daniel Krob. La chaire Optimisation et développement durable, qui est une chaire École polytechnique MICROSOFT CNRS, coordonnée successivement sur la période 2008 à 2013 par Philippe Baptiste et Léo Liberti. Le LIX, via sa chaire Ingéniérie des systèmes complexes est aussi à l origine des séries de conférences Complex Systems Design & Management (CSD&M) et Digital Enterprise Design & Management (DED&M) lieu de la rencontre de 50% de contributions industrielles et 50% de contributions académiques autour des systèmes industriels complexes, avec un comité de programme à parité. Développement logiciel Le LIX est un laboratoire avec une activité forte de productions en logiciels, ou contributions logicielles. Il développe 5 ou contribue au développement par exemple de Abella, Altarica, Bedwyr, CADO-NFS, Coq, Decoding, Dedukti, DiMoVo, ECPP, ESBTL, GenRGenS, Gnu TEXmacs, HOL-Coq, Level 0/1, Mathemagix, MPC, MPFRCX, Profound, Psyche, Quintix, SEA, SMT-Coq, SSReflect, Teyjus, TIFA, TLAPS, Varna, VorScore: on trouvera une liste des outils logiciels développés par le laboratoire et des détails dans les détails des contributions de chacune de nos équipes. Certains sont des prototypes, spécialisés et focalisés, et d autres sont des systèmes plus impactants, en dehors de la seule communauté de recherche concernée, et consécutifs à plusieurs années de développement. On peut citer par exemple GNU TEXmacs présent par défaut dans la grande majorité des distributions Linux. Des paquets binaires pour Windows et Mac OS X sont disponibles depuis nos sites Internet. Le logiciel Varna est très populaire parmi les acteurs de la bioinformatique des ARN, et est mis en avant dans le rapport annuel du CNRS en Le système de preuve COQ ou Altarica utilisés et bien connus dans le monde industriel familles de brevets récents, dont 4 sur la période 2008 à dépôts APP avec l École polytechnique et CNRS.

25 I.1.1. PRÉSENTATION DE L UNITÉ 25 La période En 2013, la situation au laboratoire est calme. Cependant, l histoire du laboratoire sur la période 2008 à 2013 reste marquée par une période de fortes turbulences liées à une période de conflit explicite sur la période de 2009 à mi Les origines de ce conflit semblent anciennes, mais le déclencheur semble avoir été la succession à la présidence du département d informatique. Cette période de crise a eu des effets directs et indirects qui se sont manifestés par le départ de plusieurs cadres, chercheurs et enseignants chercheurs du laboratoire. A la fin de cette période le département d informatique de l école polytechnique et le LIX avaient changé respectivement de président et directeur. Les tutelles, et en particulier le CNRS et son comité national ont su aider à cette situation en permettant l arrivée de plusieurs nouveaux jeunes chercheurs, et à faire qu en 2013 le principal employeur au laboratoire soit le CNRS. Cependant, une des conséquences directe ou indirecte mesurables de cet état de fait est d une part une population relativement différente entre le début et la fin du mandat, et d autre part, une pyramide des âges assez différente. En 2013 le LIX souffre d un déficit clair d agents entre 40 et 50 ans, ce qui se manifeste au quotidien par un déficit de cadres. Pyramide des âges. Janvier 2008 Pyramide des âges. Juin 2013 Locaux Le LIX, qui est LE laboratoire d informatique de l École polytechnique, est situé sur le campus de l École polytechnique. Le mandat a vu son déménagement en 2012 pour partie dans ses nouveaux locaux, situés dans le bâtiment Alan Turing du campus de l École polytechnique. Nous écrivons pour partie, car malheureusement, en juin 2013, le LIX est scindé physiquement en deux parties: il occupe pour majorité le bâtiment Alan Turing, mais il garde des bureaux dans ses anciens locaux situés aile 0 de l aile des laboratoires de l École polytechnique. Ce déménagement a cependant clairement permis un gain de surface global pour le laboratoire. Les travaux pour l extension du bâtiment Alan Turing devraient débuter dans l année qui vient (2014) et permettre au LIX de retrouver son unité physique et mettre fin à un problème de locaux freinant sa croissance ou son accueil de personnels. I Séminaires Vie scientifique de l unité La vie scientifique du laboratoire est essentiellement centrée autour de la vie de ses équipes de recherche et des séminaires hebdomadaires du laboratoire. Il est à noter que les séminaires sont parfois transverses à la notion formelle d équipe, ou communs à des laboratoires du plateau de Saclay ou de la région parisienne, et qu ils sont tous ouverts à la libre participation de tous 6 Les séminaires réguliers incluent: Le séminaire d algorithmique et de complexité du plateau de Saclay. Ce séminaire commun au LIX, LRI, PRISM, SUPELEC se réunit au minimum une fois toutes les 2 semaines 6 Hors séminaire des doctorants où les permanents ne sont pas autorisés, sauf autorisation exceptionnelle.

26 26 CHAPTER I.1. LE LIX en période scolaire. Le lieu du séminaire alterne entre les laboratoires chaque année. Le LIX a accueilli les exposés pendant l année scolaire Il est animé par Manuel Bodirsky du LIX, Johanne Cohen et Yannis Manoussakis. Un séminaire commun de l équipe AMIB se réunit chaque semaine, généralement au LRI, en alternant les exposés internes et les invitations. L équipe participe au séminaire biannuel BioNumeo, réunissant les acteurs du plateau en sciences du vivant. L équipe COMBI organise un séminaire hebdomadaire au LIX, essentiellement constitué de présentations de résultats récents par des chercheurs extérieurs au LIX. Ce séminaire est aussi un lieu de rencontre et de réflexion pour les chercheurs de l équipe. Par ailleurs, plusieurs membres de l équipe COMBI assistent régulièrement à d autres séminaires de combinatoire de la région parisienne. Le séminaire Comète-PARSIFAL qui a lieu régulièrement depuis Ce séminaire accueille aussi bien des orateurs locaux qui présentent leur travail en cours comme les visiteurs nombreux de ces équipes. Ce séminaire a été le lieu d échange et de fertilisation croisée des idées entre les deux équipes puisque la logique computationnelle et la théorie de la concurrence jouent un rôle important dans les fondements de leurs recherches. Les équipes MAX et CRYPTO organisent de façon ponctuelle des exposés de séminaire réunissant les membres de ces deux équipes. Ils assistent également aux exposés du séminaire Computations and Proofs organisé par l équipe SpecFun 7 dans le bâtiment Alan Turing. Un séminaire des doctorants a lieu deux fois par mois. Il permet des présentations scientifiques entre doctorants. Les chercheurs permanents ne peuvent pas y assister. Ce séminaire est animé en juin 2013 par J.-P. Meline, qui a succédé à Claire Lucas qui a contribué à sa mise en place en De février 2008 à juillet 2009, un séminaire mensuel de calcul formel pour doctorants appelé Cal4Doc réunissait les doctorants et post-docs des equipes CRYPTO et MAX. Le laboratoire est aussi animé régulièrement par des exposés spontanés qui ne sont pas couverts formellement par ces séminaires. L annonce de tous les séminaires se fait par les listes de courriers du laboratoire, un affichage sur le site du laboratoire, et parfois via les téléviseurs du bâtiment Alan Turing, partagés avec INRIA. Colloque annuel Le laboratoire organise chaque année 8 à l automne son LIX colloquium, qui vise à rendre très visible l une des thématiques du laboratoire. Cet événement, public, visible et attractif, met en avant chaque année un sujet ou un groupe de personnes au laboratoire. Les derniers LIX colloquium ont été: 2013: The theory and application of formal proofs 2011: MaGiX@LiX. 2010: Bioinformatics. 2009: Reachability Problems (RP 09). 2008: Emerging Trends in Visual Computing (ETVC 08). 2007: Complex Industrial Systems: Modelling, Verification and Optimization. 2006: Emerging Trends in Concurrency Theory. 7 Équipe INRIA Saclay dirigée par F. Chyzak, non rattachée au LIX mais située dans le bâtiment Alan Turing. 8 L édition 2012 initialement prévue a du être annulée.

27 I.1.1. PRÉSENTATION DE L UNITÉ 27 Le LIX colloquium a lieu chaque année sur le site du laboratoire. Pour l organisation d événements ou de séminaires, une des difficultés du LIX est cependant qu il est en région parisienne, mais pas facilement joignable en un temps raisonnable depuis la capitale, en particulier pour des invités étrangers, ou pour des visiteurs pour un événement sur le site. Une des explications 9 étant l absence de logements et de vraie vie sociale à proximité à proposer aux invités ou visiteurs. L École polytechnique offre toutefois un hotel, permettant de s épanouir scientifiquement en soirée sur le site. Appel à postdoc QUALCOMM-CARNOT Le laboratoire a bénéficié pendant le mandat d un don généreux de la société américaine QUALCOMM ( $ US), fléché pour le LIX pour du ressourcement scientifique et des postdoctorants sur les thèmes du laboratoire. Le LIX émet chaque année un appel compétitif international à candidats post-doctorant sur toutes ses thématiques, financé par ce don. La sélection se fait sur une base compétitive basée sur l excellence. Cet événement fait clairement partie de la visibilité du laboratoire à l international et de sa vie scientifique. Le ressourcement obtenu par le CARNOT Telecom & Société du Numérique vient maintenant en complément de la donation QUALCOMM qui arrive à épuisement. Le laboratoire recrute de 1 à 2 postdoctorants par an par ce moyen, en plus des nombreux autres financements provenant de contrats ou projets du laboratoire permettant des recrutements plus ciblés. I Effectifs du laboratoire En Juin 2013, le laboratoire est constitué de 127 membres, se décomposant en 43 chercheurs et enseignants chercheurs, 10 ingénieurs et techniciens administratifs, 2 émérites, 17 post-doctorants, 40 doctorants, et 15 autres (visiteurs, stagiaires). Sa population chercheur et enseignant-chercheur se décompose en 19 chercheurs CNRS, 11 chercheurs INRIA, et 11 enseignants-chercheurs de l École polytechnique. Les 2 émérites sont respectivement 1 professeur émérite et 1 directeur de recherche émérite. La population du LIX est jeune: l âge moyen des permanents est de 41 ans en juin Le CNRS est en 2013 le principal employeur des permanents du laboratoire (44% des chercheurs/ enseignants-chercheurs permanents 10 ). Les autres employeurs sont INRIA (25%), et l École polytechnique (25%). Il est à noter qu en 2008, le rapport entre employeurs n était pas le même: le tableau suivant reprend les évolutions en terme de pourcentages arrondis à l entier inférieur. Fin Juin 2013 Chercheurs CNRS 35% 34% 38% 39% 40% 40% 44% Enseignants-Chercheurs X 25% 28% 25% 25% 22% 22% 25% Chercheurs INRIA 35% 34% 31% 31% 32% 30% 25% Le laboratoire a considérablement évolué sur la période , avec une phase d expansion claire, qui s est suivie plutôt d une décroissance, décroissance s expliquant au moins pour partie par des effets directs ou indirects des turbulences en déjà évoquées (et avec un effet de retard prévisible vu la gestion administrative des mutations). 9 Cet état de fait explique aussi que beaucoup d événements organisés par le LIX ou ses membres, sont à Paris ou ailleurs, et ne sont pas toujours par conséquent aussi perçus en tant que tel, la référence au LIX ne correspondant au plus qu à un logo pour un visiteur lambda. 10 Les 2 émérites ne sont pas comptés dans ces pourcentages.

28 28 CHAPTER I.1. LE LIX Sur une fenêtre de vision plus large, il est à noter que la phase d expansion évoquée n a pas été amorcée en 2008, mais qu elle était déjà très forte dans le mandat précédent. La projection des effectifs en 2008 est déjà très fortement en progression par rapport à 2007 et Fin Juin 2013 Chercheurs ou Enseignants Chercheurs PostDoc Doctorants Ingénieurs Techniciens Administratifs Autre (Visiteur, Stagiaires) Total Graphiquement: Pour les chercheurs et enseignants-chercheurs (décompte hors émérites):

29 I.1.1. PRÉSENTATION DE L UNITÉ 29 Fin Juin 2013 Total Chercheurs Enseignants-Chercheurs Dont chercheurs CNRS Enseignants-Chercheurs X Chercheurs INRIA Autre I Gouvernance du laboratoire Situation actuelle La direction du laboratoire est assurée par son directeur, Olivier Bournez, assisté d une directrice adjointe Catuscia Palamidessi. Le LIX a été historiquement construit autour du concept d équipes, souvent portées par une personnalité très visible, souvent avec une taille réduite. Depuis sa création, le LIX fonctionne sans conseil de direction, avec un conseil de laboratoire ou l ensemble des responsables d équipes sont membres de droit. Le nombre d équipes, et donc de membres de droit, ramenés au nombre de candidats potentiels pour être élu en conseil de laboratoire fait que le conseil de laboratoire a un fonctionnement en pratique proche de celui normalement associé aux assemblées générales. Le laboratoire convoque toutefois sur une base au minimum annuelle des assemblées générales, conformément à son règlement intérieur. Ce règlement intérieur, mis en place début 2012, fixe pour l essentiel 11 des règles conformes au fonctionnement usuel du laboratoire. Le transfert d informations s effectue en pratique soit par l intermédiaire de points d informations en conseil de laboratoire, conseils de laboratoire qui fonctionnent souvent sur un mode d assemblée générale mensuelle, soit pour l essentiel via des messages électroniques via les différentes listes de diffusion du laboratoire, organisées par équipe, et type de personnels. Evolutions envisagées pour le nouveau mandat Le directeur a proposé à l Assemblée Générale (AG) du laboratoire le 14 mai 2013 la mise en place d un conseil de direction. Après un exposé du directeur expliquant les raisons l invitant à faire cette proposition, l Assemblée Générale a voté à 87% pour la mise en place de ce conseil de direction (55 voix pour, 8 voix contre, et 0 absentions). La composition en terme de personnes du conseil de direction n a pas été soumise au vote en assemblée générale. Sur toute la période , le laboratoire était organisé en 3 thèmes, chaque thème contenant des équipes. La notion de thème est essentiellement utilisée pour présenter le laboratoire. Le laboratoire et son directeur, en accord et sur invitation des tutelles, après consultation des responsables d équipes, à proposé vers fin mai 2013 d organiser dorénavant le laboratoire en axes, avec une notion plus forte d axe, permettant une meillleure gouvernance du collectif. Chaque axe possédant un coordinateur d axe. Après consultation des responsables d équipes, le directeur a proposé un découpage en trois axes (présenté plus loin), dont les coordinateurs sont respectivement Daniel Augot, Dale Miller, et Gilles Schaeffer. Ce découpage a été présenté en conseil de laboratoire et aux responsables d équipes. Le directeur propose que le conseil de direction, qui sera mise en place d ici la fin 2013, contiendra le directeur, la directrice adjointe, le président de département d informatique de l École polytechnique, et les responsables d axes. Le fonctionnement proposé est le suivant. Chaque axe est constitué d équipes. Chaque membre du laboratoire est membre d une équipe, et donc d un axe. Le rôle des coordinateurs d axe 11 En créant cependant formellement l assemblée des responsables d équipes.

30 30 CHAPTER I.1. LE LIX est de contribuer au pilotage du laboratoire via le conseil de direction et la définition, en accord avec les responsables d équipes, du projet scientifique du laboratoire et des axes. Le conseil de direction, qui vise à se réunir chaque semaine, a pour but d aider le directeur pour la prise de décisions à échéances rapides, en complément de l assemblée des responsables d équipes ou du conseil de laboratoire qui se réunit sur une base mensuelle. Un des rôles des responsables d axes et du conseil de direction proposé est d aider à la diffusion d informations ascendantes et descendantes, et à l interface avec les sollicitations nombreuses extérieures. Le directeur souhaite soumettre à l approbation en assemblée générale le fonctionnement adopté dès que possible. Plusieurs éléments sont encore à préciser, ou en discussions au moment où ces lignes sont écrites. On trouvera un organigramme fonctionnel dans le document contenant les annexes (Annexe 4). I Administration et services Le laboratoire dispose d un secrétariat, composé de Sylvie Jabinet (CNRS) et d Evelyne Rayssac (École polytechnique), ainsi que Valérie Lecomte et Christelle Liévin, Assistantes d Equipes de Recherche (AER) INRIA. Chaque équipe du laboratoire se voit affecter une de ces quatre assistantes. L assistante d équipe est l interlocutrice privilégiée des membres de l équipe. En pratique, Sylvie Jabinet et Evelyne Rayssac assurent la supervision respectivement CNRS et X de l unité, en plus de la gestion des équipes qui leur sont affectées 12. Le service informatique du LIX est constitué en juin 2013 d une unique personne, James Régis. Un poste d IE CNRS au concours va permettre de revenir à une situation tolérable normalement au 1er décembre En 2008, le service informatique du LIX contenait trois ingénieurs. Il a principalement en charge la gestion du réseau, des terminaux légers, la gestion de serveurs et des sauvegardes, du site web du laboratoire, la formation et l aide aux utilisateurs, dont en particulier les demandes de devis pour l achat de matériel individuels. Une des fonctions principales est de faire évoluer l architecture systèmes du laboratoire en fonction des besoins des équipes administratives et de recherche du laboratoire. Le système d information du LIX doit aussi être disponible 24h/24, 7jours/7 pour permettre aux nombreux membres de se connecter, quelles que soient leurs localisations. Le LIX possède également un ensemble de commissions en charge de questions spécifiques: La commission en charge de la sélection des postdocs Qualcomm/Carnot. Le directeur nomme chaque année en conseil de laboratoire une personne chargée de superviser la sélection des postdocs. Cette personne doit mettre en place un comité de sélection, réprésentant les domaines variés de recherche au LIX. Le comité de sélection propose un classement des meilleurs candidats au directeur du LIX, après approbation par le conseil du laboratoire. La commission des utilisateurs des moyens informatiques. Cette commission a pour mission de recueillir les besoins des utilisateurs des moyens informatiques du laboratoire, et d assurer l interface et le relais avec le service informatique. Ses missions incluent en particulier de fixer les priorités, le suivi des projets en cours avec le service informatique, et de veiller à la diffusion de l information, et à détecter les besoins en formation des utilisateurs. La commission en charge de l affectation des bureaux. Cette commission réduite à une personne, a en charge l affectation des bureaux. Dans nos nouveaux locaux, les membres d une même équipe sont à proximité. La plupart de nos membres permanents ont un bureau seul ; une minorité est dans des bureaux partagés (deux par bureau). Les post-doctorants et doctorants sont installés dans des bureaux partagés (trois par bureau). Grâce au travail de cette 12 Valérie Lecomte et Christelle Liévin ont par ailleurs régulièrement des sollicitations venant de leur organisme employeur pour des tâches non-couvertes par le LIX.

31 I.1.1. PRÉSENTATION DE L UNITÉ 31 commission pendant ce mandat, la gestion des bureaux est en 2013 partiellement automatisée: lorsqu un nouvel arrivant arrive au LIX, leur chef d équipe ou assistante dépose une demande de bureau via un formulaire web. Sous réserve de disponibilité des bureaux, un bureau lui est proposé. La commission a en charge de proposer des solutions au mieux pour les cas qui ne peuvent pas être gérés directement. La commission a eu par ailleurs un travail ponctuel, mais substantiel, lors du déménagement partiel du laboratoire dans le bâtiment Alan Turing. Concernant l hygiène et sécurité, le LIX possède un assistant de prévention. L assistant de prévention (James Régis en juin 2013) contribue à la mise en œuvre de la politique de santé et de sécurité au travail dans le laboratoire. Sa mission est d assister et d alerter le directeur d unité dans la démarche d évaluation des risques, dans la mise en œuvre d une politique de prévention des risques et dans la mise en place des règles de sécurité et d hygiène au travail. Depuis notre arrivée dans le bâtiment Alan Turing en copropriété avec INRIA, le travail de l assistant de prévention du LIX se fait en coordination avec l assistant de prévention INRIA du bâtiment, dans la mesure du possible. L École polytechnique possède par ailleurs un comité hygiène et sécurité, commun avec le CNRS, qui assure un suivi de l ensemble des questions reliées sur le site, et avec lequel nous travaillons en relation directe. I Moyens et évolutions Le budget du laboratoire dépend essentiellement des sources de financement suivant: les tutelles CNRS et École polytechnique, l ANR, la Commission Européenne et des contrats industriels directs. Cas particulier des EPC INRIA Les équipes projets communes (EPC) avec INRIA reçoivent par ailleurs des financements via INRIA: le directeur ne possédant pas toutes les informations 13 requises pour en parler avec le même niveau de détails que les autres financements, il fait le choix de discuter des ressources hors ressources gérées par INRIA dans la suite de cette section. Ressources hors INRIA Concernant les ressources hors INRIA et hors salaires des permanents, on obtient les figures suivantes: Figure I.1.1: Recettes (à gauche) et Dépenses (à droite) de 2008 à Ces données sont hors salaires des permanents, et hors financements gérés par INRIA. Les figures suivantes présentent l évolution de nos ressources et dépenses. 13 Il ne les reçoit pas spontanément. Il en a fait la demande le 27 Septembre A la date du 15 Octobre 2013, il estime ne pas avoir suffisemment d informations pour donner de vrais détails.

32 32 CHAPTER I.1. LE LIX Figure I.1.2: Ressources de 2008 à juin 2013 (en euros). Ces données sont hors salaires des permanents, et hors financements gérés par INRIA. Les données 2013 ne correspondent pas à une année complète et sont donc difficiles à interpréter. Figure I.1.3: Dépenses de 2008 à juin 2013 (en euros). Ces données sont hors salaires des permanents, et hors financements gérés par INRIA. Les données 2013 ne correspondent pas à une année complète et sont donc difficiles à interpréter. Comme nous l avons déjà écrit, le LIX a bénéficié de façon notable d une donation de la société QUALCOMM sur la période Il a utilisé cette ressource pour le recrutement de postdocs et de missions reliées. Le laboratoire n impose pas ses équipes sur leurs contrats. Le Carnot Telecom & Société du Numérique permet cependant un retour sur les activités partenariales de ses équipes. Les subventions directes des tutelles, le don QUALCOMM et l argent résultant des retours Carnot constituent donc les uniques ressources pour le fonctionnement du laboratoire proprement dit. Ce budget est utilisé pour couvrir toutes les dépenses relevant du fonctionnement global du laboratoire: fournitures, achats de serveurs, d ordinateurs, photocopies, etc. Une partie des ressources est affectée par le directeur aux équipes pour subvenir essentiellement aux besoins des membres du laboratoire ne disposant pas facilement de ressources propres ou ne pouvant abonder aux ressources propres de leur équipe.

33 I.1.2. RÉALISATIONS 33 I.1.2 Réalisations I Production scientifique sur le mandat On trouvera un détail des réalisations sur le mandat dans les fiches de chacune des équipes: en particulier, on trouvera une fiche résumée présentant une synthèse volontairement très courte. Nous ne reprendrons pas ici les éléments déjà mis en avant dans ce document. Voici quelques éléments macroscopiques non encore cités: Bilan quantitatif Bilan quantitatif du mandat 2008-Juin 2013: Livres, chapitres de livres, numéros spéciaux, édition d actes 83 Documents pédagogiques 9 Revues internationales 372 Revues nationales 10 Conférences internationales 508 Conférences nationales 26 Logiciels 22 Brevets 5 Normalisation (RFC) 9 Normalisation (Contributions) 80 Thèses 53 HDR 4 Conférences Invitées 27 Rapports techniques 65 Autres 49 Figure I.1.4: Bilan quantitatif Janvier 2008-Juin Distinctions et prix 2013: 2012: 2011: L ANR GAIA, dans laquelle Frank Nielsen était largement impliqué, a reçu en 2013 le grand prix ANR du numérique. Dale Miller a reçu la très prestigieuse ERC Advanced Grant pour la période pour son projet ProofCert. Romain Lebreton a remporté le prix du meilleur article étudiant à la conférence internationale ISSAC 12, et le prix du meilleur poster de la part du Fachgruppe Computer Algebra à ISSAC 12. Léo Liberti a terminé en 2ème position dans la section Modularity Clustering Quality Challenge du 10ème DIMACS Implementation Challenge en Dale Miller a remporté le LICS Test-of-Time Award en 2011 pour un article co-écrit avec Joshua Hodas dans LICS 1991.

34 34 CHAPTER I.1. LE LIX 2010: 2009: 2008: Ben Smith a reçu avec ses coauteurs le Asiacrypt 2011 best paper award pour son travail sur le comptage de points de courbes de genre 2 avec multiplication réelle. Vincent Jost et David Savourey et leur équipe ont remporté le challenge ROADEF- EURO-EDF dans la catégorie Senior en Michel Fliess a reçu le Prix de l innovation de l École polytechnique 2010, catégorie brevet, pour un brevet sur les aménagements hydroélectriques. Claudia D Ambrosio a reçu le prestigieux European Doctoral Dissertation Award en 2010 qui détermine la meilleure thèse en Europe. François Morain est détenteur de plusieurs records mondiaux avec fasteccp, qu il améliore de façon continue, à partir de programe de preuve de primalité ECPP développé dès le début des années Son record personnel est à environ chiffres, présenté à la conférence ECC2010, pour les 25 ans de la cryptographie à courbes elliptiques. Le travail de Léo Liberti en reformulation en programmation mathématique a reçu le 2ième prix ROADEF Robert Faure en 2009 (prix décerné tous les 3 ans par la société Française de recherche operationelle ). Luca De Feo a reçu le SIGSAM Distinguished Student Paper Award à ISSAC 09. La thèse d Alexis Saurin a remporté le Prix de thèse de l École polytechnique et le Prix de thèse ASTI Christoph Dürr a obtenu le prix du meilleur article dans la conférence European Symposium on Algorithms (ESA) en G. Chapuy a obtenu le prix du meilleur article étudiant à la conférence FPSAC 2009 pour son article A new combinatorial identity for unicellular maps, via a direct bijective approach. Ben Smith a reçu comme seul auteur le Eurocrypt 2008 best paper award. Konstantinos Chatzikokolakis, doctorant au LIX, a reçu l accessit du Prix de thèse Gilles Kahn en Novembre Andreas Enge a reçu le Selfridge Prize of the Number Theory Foundation pour le meilleur article présenté à ANTS-VIII, I Le LIX dans son environnement L École polytechnique Le DIX Le LIX est le laboratoire d informatique de l École polytechnique qui compte 20 laboratoires. Nous détaillons ci-après la part importante prise par le LIX dans la formation par la recherche. Plus généralement, l enseignement à l École polytechnique est, pour une large part, effectué par des enseignants à temps partiel, le plus souvent titulaires d un emploi principal de chercheur (CNRS, INRIA... ) et d enseignants-chercheurs en université. C est la politique actuelle du département que de favoriser l implication des chercheurs du LIX dans l enseignement et donc d augmenter la proportion de membres du LIX parmi les enseignants. D une part parce les enseignants résidents sont naturellement plus proches des élèves, et d autre part pour favoriser l attractivité du LIX. Un peu moins de 20 membres permanents du LIX sont titulaires d un contrat d enseignant ou d enseignant-chercheur, à temps plein ou à temps partiel, avec l École polytechnique. Un nombre

35 I.1.2. RÉALISATIONS 35 comparable de membres du LIX interviennent dans les enseignements de l École (de L3 à M2) comme vacataires. Les membres du LIX sont aussi structurants pour le département (DIX): Benjamin Werner est président du DIX, Olivier Bournez et François Morain en sont viceprésidents. Dominique Rossin, Stéphane Lengrand, Luca Castelli et Philippe Chassignet sont membres du comite enseignement-recherche du département. Jean-Marc Steyaert et Stéphane Lengrand sont membres de la commission des thèses de l EDX (École Doctorale de l X). Gilles Schaeffer représente l École polytechnique à la commission des études du MPRI, Leo Liberti joue un rôle similaire au MPRO, Daniel Krob anime le Master COMASIC. etc... Les laboratoires de l École polytechnique Les laboratoires de l École polytechnique avec lesquels le LIX entretient au jour le jour le plus de contacts scientifiques sont le CMAP, laboratoire de mathématiques appliquées de l École, ainsi que le CMLS, laboratoire de mathématiques pures, et le LOB, laboratoire d optique et biosciences, avec lequel il entretient principalement des collaborations sur les aspects biologie/bio-informatique. Les réunions mensuelles des directeurs de laboratoires permettent des échanges réguliers sur la vie et la stratégie scientifique de l École Polytechnique, et sur les évolutions de notre environnement en particulier dans le contexte de l Université Paris Saclay. Le LIX bénéficie grandement de l efficacité de membres du service des relations industrielles et partenariales (DRIP) de l École polytechnique (tout particulièrement Sylvie Tonda) dans le cadre de ses interactions avec le monde non académique. L École polytechnique a mis en place plus récemment une direction de l innovation et de l entrepreneuriat qui nous attire de nouveaux contacts industriels. Les doctorants du LIX sont pour leur énorme majorité inscrits à l École Doctorale de l X (EDX) qui offre les avantages d une école doctorale pluridisciplinaire et de taille raisonnable. Le CNRS Le LIX dont son ensemble est fortement impliqué dans la vie scientifique et administrative du CNRS. Du point de vue du pilotage des instances du CNRS: Philippe Baptiste, ancien directeur du LIX a contribué à mettre en place l Institut National des Sciences de l Information et de leurs Interactions (INS2I) du CNRS. Il l a dirigé de 2010 à Dominique Rossin est membre du conseil scientifique de l INS2I. Plusieurs membres du LIX participent au comité national du CNRS: Yann Ponty est membre élu du comité national du CNRS, en Sciences de l information : fondements de l informatique, calculs, algorithmes, représentations, exploitations (section 6) et Modélisation et analyse des données et des systèmes biologiques : approches informatiques, mathématiques et physiques (CID 51). Dominique Rossin a été membre du comité national du CNRS en section 07. Le LIX est par ailleurs très actif dans plusieurs GdR du CNRS. Gilles Schaeffer a été responsable du pôle Algorithmique et combinatoire du GdR Informatique Mathématique du CNRS. Stéphane Graham-Lengrand est responsable du groupe de travail Logique, Algèbre, Calcul du même GdR.

36 36 CHAPTER I.1. LE LIX Yann Ponty est animateur de l axe Structure et interactions des macromolécules du GDR 3003 Bioinformatique Moléculaire. Plus généralement, de nombreux membres du LIX participent à des jurys ou commissions du CNRS. INRIA Les membres du LIX entretiennent des relations très étroites et actives avec INRIA. En particulier, en 2008, 7 des équipes sur 10 étaient, ou étaient en passe de devenir, ou hébergeaient des Equipes Projets Communes (EPC) INRIA. Actuellement, 4 équipes du LIX sont, ou hébergent une partie d une EPC INRIA. À savoir: l équipe Comète correspond à l EPC du même nom; l équipe PARSIFAL correspond à l EPC du même nom; l équipe CRYPTO correspondait à l EPC TANC, qui a donné naissance à l EPC GRACE; l équipe AMIB héberge une partie de l EPC AMIB répartie sur le LIX et le LRI. Par ailleurs, l équipe TYPICAL a hébergé l EPC du même nom qui prenait la suite de l EPC LOGICAL. Elle s est arrêtée au 31/12/2012. L équipe MAX hébergeait une partie de l EPC ALIEN répartie sur le LIX et le LAGIS (École Centrale Lille). Cette EPC s est arrêtée au 31/12/2010. L équipe HIPERCOM hébergeait une partie d une EPC répartie sur le LIX, le LRI et le centre INRIA-Rocquencourt. Cette EPC s est arrêtée au 31/12/2012. Depuis plusieurs années, de nombreux membres du LIX sont impliqués dans différents comités et instances de l INRIA. On signalera entre autres, au niveau local (pour le centre Saclay-Île-de- France), les participations de D. Augot, M. Régnier, D. Miller et C. Palamidessi au comité des projets, de B. Smith comme membre élu du comité de centre et de D. Augot à la direction du suivi doctoral. Au niveau national, C. Palamidessi est depuis 2007 membre du Comité d Orientation Scientifique et Technique, O. Bournez a siégé en 2011 au membre du jury d admission CR et B. Werner a été membre du conseil scientifique de 2008 à Depuis 2012, le LIX est dans le bâtiment Alan Turing qui est en copropriété avec INRIA, qui en assure la gestion. Cette présence géographique a clairement pour effet une meilleure connaissance mutuelle et plus d échanges scientifiques et sociaux. Stratégiquement, plusieurs projets d équipes communes avec INRIA sont envisageables, dépassant le seul cadre du LIX. Le directeur du LIX avoue cependant déplorer une difficulté de cogestion avec la gouvernance INRIA, INRIA ne reconnaissant pas clairement la notion d UMR, et donc le rôle du directeur d unité. Les accords récents INRIA/CNRS, et la déclinaison locale pour le LIX avec l École polytechnique devraient être des avancées dans ce sens 14. Le CEA L équipe MeASI était en 2008 en partie commune avec le CEA. Seule la partie relevant strictement du LIX apparaissait dans le rapport d activité, en raison des termes de l accord régissant le statut de cette équipe avec le CEA. Nous continuons à entretenir des liens forts avec l équipe du CEA-List dirigée par Eric Goubault, que nous nommerons dans ce paragraphe ERC MeASI (ERC signifie Equipe de Recherche Commune dans le jargon du CEA). Les collaborations de L ERC MeASI avec le LIX sont nombreuses et transverses à la structuration en équipes (et en thèmes) du LIX. On peut citer par exemple: des publications communes avec l équipe SYSMO, un projet ANR ASOPT et un projet OMTE DIGITEO communs avec SYSMO; 14 Même si depuis qu un projet de texte est discuté, il n y a plus de réunions de site entre X, CNRS et INRIA. La dernière réunion de site remonte à mars 2011.

37 I.1.2. RÉALISATIONS 37 le projet ANR PANDA et le projet ANR CPP communs avec l équipe Comète et l équipe PARSIFAL; et un projet DIGITEO PASO commun avec les équipes SYSMO et TYPICAL; et plus généralement beaucoup d échanges scientifiques aussi bien sur la sémantique du parallélisme que sur l analyse probabiliste. Par ailleurs, L ERC MeASI entretient des liens forts avec le LIX via le DIX: L ERC MeASI participe activement aux cours a l École polytechnique, avec un professeur à temps partiel et un chargé d enseignement partiel et de nombreux vacataires, avec en particulier des cours en L3, M1 et la responsabilité d une filière du M2 COMASIC. L ERC MeASI a également accueilli en stage des élèves polytechniciens (Michael Buchet et Alex Lang en 2010, prix de stage de recherche (prix d option) chacun d eux). Les doctorants de l ERC MeASI ont été systématiquement été inscrits à l École Doctorale de l École polytechnique, avec notablement Olivier Bouissou (2ème prix Gilles Kahn 2009) et Xavier Allamigeon (1er prix Gilles Kahn 2010). L université de Paris Saclay L UPSay L ensemble des établissements et des laboratoires du plateau de Saclay (et donc le LIX) sont impliqués dans la construction de l université de Paris-Saclay (UPSay). Il s agit d un projet extrêmement ambitieux, visant à construire une université des premiers rangs mondiaux, construite par la collaboration de 23 établissements partenaires. Le campus Paris-Saclay est une fondation de coopération scientifique (FCS) en charge de ce projet. Les 23 partenaires de la Fondation de Coopération Scientifique Campus Paris-Saclay. Le projet de l UPSay est un gigantesque chantier très ambitieux, nécessitant de faire coopérer différents organismes et entités au fonctionnement à priori assez différents. Grâce à l initiative IDEX, un financement important soutient la création de l UPSay: un capital de 900 Meuros est détenu par la fondation, dont les intérêts vont à l UPSay. Les partenaires évoqués précédemment du LIX, à savoir l École polytechnique, le CNRS et l INRIA, et le CEA en sont des partenaires. En considérant l informatique en général, Télécom ParisTech, l ENS Cachan, le CEA, l université Paris-Sud, et l université de Versailles Saint-Quentin en Yvelines sont aussi partenaires. Les objectifs identifiés comme devant concourir à la création de l UPSay sont: un unique diplôme de doctorat, des diplômes de master avec des cours en anglais, des publications scientifiques signées par des scientifiques s affiliant à l université de Paris-Saclay, un campus attractif rapidement mis en place, pour les étudiants, les enseignants et les chercheurs, des services de soutien à l accueil des étrangers. On parle ici de étudiants et de chercheurs (ordre de grandeur / les chiffres sont variables suivant les sources).

38 38 CHAPTER I.1. LE LIX Création de l UPSay Pour réaliser ces objectifs, et pour encourager, organiser la communauté, les structures suivantes ont été créées ou existent déjà à ce jour: un comité exécutif; un sénat académique; 11 laboratoires d excellences (LABEX) ont été sélectionnés dont le LABEX Digicosme, qui est celui consacré au STIC, voir plus bas; différents outils: des chaires, des projets exploratoires et de soutien (PEPS), des projets phares... Quand l UPSay verra le jour (printemps 2014, première année académique démarrant en septembre 2015), elle devrait être structurée comme suit: onze schools pour l enseignement, dont une intitulée school for Engineering, Information Science and Technology; 17 écoles doctorales 15. Une grande école doctorale (900 étudiants), ED-STIC, sera consacrée aux STIC. Cette école rassemblera et unifiera des écoles doctorales déjà présentes sur plusieurs sites: l EDITE (UPMC and Télécom ParisTech), celles de l ENS Cachan, de l École Centrale Paris, l école doctorale en informatique de l université Paris- Sud et de Supélec, de l École polytechnique, de l université d Évry val-d Essonne, de l université Versailles Saint-Quentin. Le Labex Digicosme, voir plus bas. Des départements pour la recherche, parmi lesquels un département STIC. Le RTRA Digiteo (voir plus bas) a vocation à construire le département STIC, et le Labex Digicosme à représenter un périmètre plus étroit dans ce département. Un Equipex Digiscope pour la visualisation à base de calcul à haute performance, dont le LIX n est pas partenaire, qui sera au sein du département STIC. Un institut de la société du numérique, porté par l INRIA, est en train de se mettre en place, pour aborder les questions sociétales liées à la diffusion massive des technologies numériques dans la société. Il sera dans le département STIC. D autres instituts existent en dehors de nos domaines. Un Institut de recherche technologique, l IRT SystemX. Il est dédié à l ingénierie numérique des systèmes du futur. Ses deux programmes de recherche Systèmes de systèmes et Technologies & outils d ingénierie numérique sont dédiés aux priorités technologiques que sont l énergie, les transports et la mobilité, les télécommunications, et la sécurité et la défense. Rassemblant d ores et déjà 44 partenaires dont 35 industriels, l IRT SystemX a comme rôle de faciliter le transfert de technologies et de compétences vers l industrie. Il se veut un véritable accélérateur d innovation pour les produits et services des entreprises partenaires, leur permettant ainsi d améliorer leurs performances socio-économiques et s appuiera sur les trois instituts Carnot leaders dans le numérique : CEA, INRIA et Institut Mines-Telecom. Le LIX participe à sa hauteur à cette construction. En particulier, via sa représentation à différents groupes de travail, à la construction de l ED-STIC, la construction du département STIC, ou sa participation au sénat académique (le directeur du LIX est membre élu du collège des directeurs de ce sénat / Eric Goubault de l ERC MEASI est membre élu du collège des chercheurs de ce sénat). 15 Alors que 24 existent maintenant.

39 I.1.2. RÉALISATIONS 39 Il est très difficile d énumérer les différents groupes de travail à ce jour, et le LIX participe à plusieurs d entres eux. Par exemple, Julie Bernauer représente l INRIA dans le groupe de travail Biologie de l IDEX, et Benjamin Werner représente l informatique dans le groupe de travail formation et dans le groupe de travail masters. Le RTRA Digiteo Le RTRA Digiteo est un cluster en STIC, dont le domaine scientifique couvre la théorie, la conception, le développement et la vérification de systèmes logiciels. C est une fonction de coopération scientifique créée par les acteurs principaux du plateau de Saclay dans le domaine: à l origine le CEA, le CNRS, l INRIA, l École polytechnique, Supélec et l université Paris- Sud, rejoints ensuite par l ENS Cachan, l École Centrale de Paris, l ENSTA Paris-Tech, Mines ParisTech, TelecomParisTech and l UVSQ. Ces institutions sont représentées dans le comité de pilotage, dirigé par M. Robin. Digiteo a aussi géré les fonds de l Île-de-France alloué au DIM SLC: domaine d intérêt majeur en logiciel et systèmes complexes. Il possède un comité de pilotage auquel le LIX est représenté par Olivier Bournez et Benjamin Werner, et un comité de programme en charge de sélectionner les demandes de financement, dont Daniel Augot et Mireille Régnier font partie. Un objectif visible de ce réseau est d attirer des jeunes chercheurs. En sus des financements de post-doctorants, de doctorants, et d invitations courtes, Digiteo a financé onze chaires accueillant des scientifiques étrangers séjournant au moins trois mois par an dans un laboratoire membre de Digiteo. Le LIX a été partenaire de cinq chaires, dont un des bénéficiaires, M. Vazirgiannis, a finalement été recruté par l École polytechnique en Digiteo vise aussi à animer la collectivité, en organisant des journées thématiques, un séminaire -digiteo-seminar-, un forum annuel et un soutien aux manifestations scientifiques. Digiteo accomplit aussi une mission de valorisation à travers le dispositif des opérations de maturation technique et économique (OMTE) visant à amplifier le transfert des technologies abouties issues de la recherche. Ce dispositif est à l origine de la proposition d une société d accélération de transfert de technologies (SATT) dans l université de Paris-Saclay. Un partenariat privilégié avec le pôle de compétitivité Systematic a conduit à la création de l Institut de Recherche Technologique SystemX dans le cadre de l UPSay. Le Labex Digicosme Le LABEX Digicome est un laboratoire d excellence sélectionné dans l appel LABEX. Il s agit de la proposition de LABEX qui a émané de la communauté STIC du plateau de Saclay. Par rapport au RTRA Digiteo, il est plus restrictif sur ses domaines de couverture et vise à créer une organisation cohérente et visible de la recherche et de l enseignement dans nos disciplines. Digicosme diffère de Digiteo principalement dans deux aspects: le labex est plus ciblé scientifiquement à travers trois tâches (SciLex, ComEx, DataSense), et s investit de manière nette dans l enseignement. Les trois tâches ciblées par Digiteo sont: Scilex (sécurité et sémantique), ComEx (réseaux et télécoms), DataSense (données et visualisation). Toutes les équipes du LIX prennent part à DigiCosme: AlCo, Comète, CRYPTO, MAX, PAR- SIFAL, SYSMO relativement à la tâche SciLex, HIPERCOM à la tâche Comex, et AMIB, COMBI à la tâche DataSense. Les moyens proposés par Digicosme pour renforcer l intégration de la recherche en informatique dans l UPSay sont pour l instant: une conférence annuelle, des écoles de jeunes chercheurs, et des journées industrielles. Un autre moyen d action dont s est doté Digicosme pour une part importante de son budget est le financement d étudiants étrangers pendant leurs deux années de master, ainsi que des thèses. Le processus d attribution des financements de thèse est partagé avec celui de Digiteo, dont les classements issus du comité de programme sont utilisés par Digicosme. Le labex soutiendra aussi des initiatives pédagogiques comme des mini-cours par des professeurs invités, l accès à des plateformes de recherche, et des projets de transfert, d innovation et d entrepreneuriat. Sa coordinatrice est Christine Paulin-Mohring (LRI). Il possède un comité exécutif, un conseil des tutelles, un conseil scientifique, une commission recherche et innovation, et une commission formation. Cette commission de formation a déjà établi un programme commun d enseignement

40 40 CHAPTER I.1. LE LIX en informatique au niveau L3 devant être adopté par tous les établissements d enseignement de l UPSay. Les laboratoires impliqués dans DigiCosme sont: LRI UMR 8623 U. Paris-Sud, CNRS LIMSI/CHM UPR 3251 CNRS LIST CEA MAS EA 4037 École Centrale Paris UEI ENSTA LSV UMR 8643 ENS Cachan, CNRS LIX UMR 7161 Polytechnique, CNRS CRI Saclay Île-de-France INRIA CRI Paris Rocquencourt INRIA LTCI UMR 5141 Télécom ParisTech, CNRS SAMOVAR UMR 5157 Télécom SudParis, CNRS E3S EA 4454 Supélec L2S UMR 8506 Supélec, U. Paris-Sud, CNRS PRISM UMR 8144 U. Versailles St-Quentin, CNRS Laboratoires impliqués dans Digicosme. Olivier Bournez est membre du comité de pilotage du labex Digicosme (le LIX est dans la catégorie des membres fondateurs). Catuscia Palamidessi représente le LIX dans la commission recherche et innovation de Digicosme. B. Werner (resp. D, Augot) représente le DIX (resp. INRIA) dans la commission commission formation de Digicosme. Environnement scientifique national Les équipes du LIX collaborent avec de nombreuses autres équipes d autres laboratoires français: on peut mentionner par exemple des collaborations formalisées via des projets ANR ou autre avec les laboratoires ELM, IRISA, LABRI, LIAFA, LIGM, LIP, LIP6, LIPN, LIRMM, LORIA, LSV et PPS. Nous ne reprendrons pas ici toutes les collaborations: celles-ci sont énumérées en annexe par équipes, avec quelques lignes relatives au sujet de chacune. Environnement scientifique International Il serait très pénible d énumérer ici toutes nos relations à l international: elles sont décrites ou peuvent se retrouver facilement à partir des parties relatives à chaque équipe. Par ailleurs, beaucoup de nos équipes sont constituées pour leur forte majorité d étrangers et sont spontanément internationales. On peut toutefois citer plusieurs collaborations formalisées par des projets internationaux avec l Allemagne (Bonn, Bern, Sarrebruck), l Argentine (Buenos Aires), l Autriche (Vienne, Innsbruck), le Brésil (Sao Paulo), le Canada (Montréal McGill), la Colombie (Santiago de Cali), le Chili (Santiago), la Chine (Hong Kong, Pékin, Shanghai), l Italie (Bologne, Pise), le Portugal (Lisbonne), la Russie (Moscou), les USA (Stanford, Pittsburgh CMU, Univ. Minnesota). I Nationale Animation Le LIX est fortement impliqué dans la vie et l animation des GdR du CNRS: voir le texte plus haut pour le CNRS. Le LIX est aussi fréquemment impliqué dans des missions classiques d expertise au niveau national pour le monde académique: comités ANR, comités d évaluation DGA, ONERA, participation aux groupes de travail d Allistène, participation à des comités scientifiques d universités ou d écoles d ingénieurs.

41 I.1.2. RÉALISATIONS 41 Hors du monde purement académique, il a aussi été impliqué dans des comités de normalisation, ou des convocations à des auditions par des missions de l Assemblée nationale (concernant la loi Hadopi et concernant les droits de l individu dans la révolution numérique). On retrouvera ces éléments détaillés par équipe. Internationale Outre sa participation à différents comités éditoriaux de revues internationales (voir section I.1.1.3), les membres du LIX prennent aussi part à des comités de programme et/ou de pilotage de conférences ou de société savantes, ou à l organisation d événements. On peut par exemple citer: Comités de programmes et/ou de pilotage de conférences ou sociétés savantes : AAAI, ANTS, CADE, CSDM, CSL, CONCUR, CPP, DEDM, DISC, EATCS, ESOP, ETAPS, FCT, FOSSACS, FP- SAC, ICALP, IJCAR, ISMB/ECCB, ISSAC, LICS, LPAR, MEGA, POST, SODA, STACS, TAMC, WCC Organisation de conférences internationales : par exemple ANTS-IX, ICMS 2010, ECML/PKDD 2011, WCC 2011, ISSAC 2012, FPSAC 2013 Le LIX est aussi fréquemment impliqué dans des missions classiques d expertise au niveau international comme par exemple des comités d évaluation d universités étrangères, jury de prix de thèses internationaux, jury de sélection de projets pour la commission européenne, jury internationaux de meilleurs papiers ou de prix internationaux. Il intervient aussi pour des agences nationales étrangères comme par exemple pour les déclinaisons des agences de recherche en Belgique, Canada, Italie, Grèce, Pays-Bas, Roumanie, Suisse et Taiwan. On retrouvera ces éléments détaillés par équipe. Vulgarisation et diffusion scientifiques Les membres du LIX sont fortement impliqués dans la diffusion scientifique sous des formes variées: Rédaction d articles dans les revues et journaux de vulgarisation comme La recherche, Interstices ou interview pour des vidéos de vulgarisation. Intervention dans des écoles primaires, Lycées, ou devant des professeurs de lycée, ou dans des salons comme Culture et jeux mathématiques ou au Festival PariScience. Intervention dans la nuit des chercheurs, événement annuel organisé sur le site de l École polytechnique, ou à la fête de la science chaque année. Participation à Unithé ou café, séminaire de vulgarisation de l INRIA Saclay. Les membres du LIX sont aussi régulièrement invités à faire des exposés invités à des conférences internationales. Citons par exemple des invitations de membres du LIX à ANTS-8, ECC 9 à ECC 13, LICS 2010, ICALP I Évolutions sur le mandat Evolutions de structuration La structuration du laboratoire en équipe a été modifiée en février 2010 juste avant le départ de son précédent directeur (Philippe Baptiste) pour l INS2I: la partie du LIX qui est désignée par MEASI dans le rapport d activité pour le précédent mandat, désigne l union des équipes actuelles AlCo et SYSMO du LIX. En 2008, MEASI était constituée en effet d une partie du LIX (devenu AlCo et SYSMO) et de l équipe du CEA LIST dirigée par Eric Goubault.

42 42 CHAPTER I.1. LE LIX Conformément aux textes régissant avec le CEA l équipe du CEA LIST dirigée par Eric Goubault, il n avait pas été possible de faire figurer au rapport d activité du LIX, l ensemble de l équipe MEASI comme une seule équipe. L acronyme MeASI désigne de fait dorénavant l équipe du CEA LIST dirigée par Eric Goubault. Cette équipe, désignée par le vocable équipe associée, correspondant à une équipe qui n est pas membre du LIX au sens de notre rapport d activités. La structuration du laboratoire n a pas été modifiée depuis 2010, même si plusieurs responsables d équipes ont été changés. Recrutements/Départs sur le mandat Par équipe Si l on étudie l évolution en termes d effectifs chercheurs et enseignants-chercheurs des équipes, on obtient le tableau suivant 16 Fin Juin 2013 AlCo AMIB COMBI MAX SYSMO HIPERCOM GRACE Comète PARSIFAL TYPICAL Exprimé en termes de pourcentages de l effectif chercheurs/enseignants-chercheurs: Graphiquement: Fin Juin 2013 AlCo 6% 10% 9% 8% 8% 8% 6% AMIB 9% 7% 11% 12% 12% 10% 13% COMBI 6% 10% 15% 16% 16% 18% 18% MAX 9% 7% 9% 10% 10% 10% 9% SYSMO 6% 7% 6% 8% 10% 10% 9% HIPERCOM 9% 7% 6% 6% 8% 6% 2% GRACE 9% 10% 9% 8% 8% 10% 11% Comète 9% 7% 6% 6% 8% 8% 9% PARSIFAL 12% 10% 11% 10% 10% 10% 11% TYPICAL 19% 18% 13% 12% 10% 10% 6% Janvier 2008 Juin Pour les équipes AlCo et SYSMO la lecture n est pas aisée pour une année antérieure à 2010, en raison du redécoupage évoqué en Le choix fait dans ce tableau est de considérer que chaque chercheur ou enseignantchercheur appartient sur l ensemble du mandat à son équipe actuelle.