Laboratoire d’Informatique Algorithmique : Fondements et Applications LIAFA Rapport d’activites´ 1er janvier 2007 – 30 juin 2012 Laboratoire d’Informatique Algorithmique : Fondements et Applications (LIAFA) UMR CNRS 7089 Universite´ Paris Diderot - Paris 7 Case 7014 75205 Paris Cedex 13 Tel. +33 (0)1 57 27 92 56 Fax. +33 (0)1 57 27 94 09 [email protected] http://www.liafa.univ-paris-diderot.fr Table des matieres` Preambule´ 1 I Rapport et projet scientifique du LIAFA 3 1 Rapport scientifique du laboratoire 5 2 Projet scientifique du laboratoire 29 II Algorithms and Complexity team 37 1 Research report: Algorithms and Complexity 39 2 Fiche resum´ e:´ Algorithmes et Complexite´ 45 3 Executive Summary: Algorithms and Complexity 47 4 Research project: Algorithms and Complexity 49 5 List of publications: Algorithms and Complexity 57 6 Appendix: Algorithms and Complexity 67 III Equipe Algorithmes Distribues´ et Graphes 77 1 Rapport scientifique : Algorithmes Distribues´ et Graphes 79 2 Fiche resum´ e´ : Algorithmes Distribues´ et Graphes 85 3 Executive Summary : Distributed Algorithms and Graphs 87 4 Projet scientifique : Algorithmes Distribues´ et Graphes 89 5 Liste des publications : Algorithmes Distribues´ et Graphes 95 6 Annexes : Algorithmes Distribues´ et Graphes 119 i TABLE DES MATIERES` IV Automata and Applications team 143 1 Research report: Automata and Applications 145 2 Fiche resum´ e:´ Automates et applications 151 3 Executive Summary: Automata and Applications 153 4 Research project: Automata and Applications 155 5 List of publications: Automata and Applications 163 6 Appendix: Automata and Applications 181 V Equipe Combinatoire 199 1 Rapport scientifique : Combinatoire 201 2 Fiche resum´ e´ : Combinatoire 207 3 Executive Summary : Combinatorics 209 4 Projet scientifique : Combinatoire 211 5 Liste des publications : Combinatoire 217 6 Annexes : Combinatoire 225 VI Modeling and Verification team 231 1 Research report: Modeling and Verification 233 2 Fiche resum´ e:´ Modelisation´ et Verification 239 3 Executive Summary: Modeling and Verification 241 4 Research project: Modeling and Verification 243 5 List of publications: Modeling and Verification 251 6 Appendix: Modeling and Verification 265 VII Bref historique du LIAFA 279 ii Table des matieres` detaill´ ee´ Preambule´ 1 I Rapport et projet scientifique du LIAFA 3 1 Rapport scientifique du laboratoire 5 1.1 Resum´ e´ des activites´ et des resultats´ de l’unite............................´ 5 1.1.1 Faits marquants 2007-2012 . .5 1.1.2 A propos d’une fusion LIAFA-PPS . .8 1.2 Gouvernance, administration et vie scientifique . .8 1.2.1 Gouvernance . .8 1.2.2 Administration et services . .9 1.2.3 Vie scientifique . 10 1.3 Composition . 11 1.4 Budget . 14 1.5 Le LIAFA dans son environnement . 16 1.5.1 L’universite´ Paris Diderot, l’UFR, la Fed´ eration,´ et l’Ecole Doctorale . 16 1.5.2 La Fondation et le LABEX Sciences Mathematiques´ de Paris . 16 1.5.3 Inria, CEA et Technicolor . 17 1.5.4 Environnement scientifique . 17 1.5.5 Animation . 19 1.5.6 Interdisciplinarite.......................................´ 19 1.6 Formation par la recherche . 20 1.7 Vulgarisation et diffusion scientifiques . 21 1.8 Valorisation . 21 1.9 Annexes . 22 1.9.1 Liste des membres permanents chercheurs et enseignants-chercheurs au 10/09/2012 . 22 1.9.2 Liste des membres du conseil de laboratoire . 24 1.9.3 Reglement` interieur´ . 25 1.9.4 Charte d’utilisation des moyens informatiques . 27 2 Projet scientifique du laboratoire 29 2.1 Positionnement scientifique et objectif gen´ eral´ . 29 iii TABLE DES MATIERES` DETAILL´ EE´ 2.2 Axes fed´ erateurs´ internes et implications externes . 30 2.2.1 Algorithmique . 31 2.2.2 Systemes` concurrents . 31 2.2.3 Structures et logique, jeux . 32 2.3 Rapprochement LIAFA-PPS . 33 2.3.1 Thematiques´ d’accroche . 33 2.3.2 Seminaire´ didactique . 34 2.4 Analyse SWOT . 35 II Algorithms and Complexity team 37 1 Research report: Algorithms and Complexity 39 1.1 Research areas and main objectives . 39 1.1.1 Development of the team . 39 1.1.2 Description of our main scientific results . 41 1.2 Selected results of significance . 42 1.2.1 Streaming algorithms for large XML databases . 42 1.2.2 Quantum cryptographic protocols . 43 1.3 Scientific service and influence, honors and prizes . 43 1.4 Internal organization . 44 2 Fiche resum´ e:´ Algorithmes et Complexite´ 45 2.1 Effectifs . 45 2.2 Production scientifique . 45 2.3 Bilan quantitatif . 45 2.3.1 Publications . 45 2.3.2 Logiciels, brevets, rapports, etc. 46 2.3.3 Rayonnement . 46 2.3.4 Interactions de l’equipe´ avec son environnement . 46 2.3.5 Actions de formation . 46 3 Executive Summary: Algorithms and Complexity 47 3.1 Members . 47 3.2 Scientific outcomes . 47 3.3 Quantitative assessment . 47 3.3.1 Publications . 47 3.3.2 Software, patents, reports, etc. 48 3.3.3 Influence of the team . 48 3.3.4 Interactions between the team and its environment . 48 3.3.5 Teaching . 48 iv TABLE DES MATIERES` DETAILL´ EE´ 4 Research project: Algorithms and Complexity 49 4.1 Research objectives . 49 4.1.1 Scientific outlook . 49 4.1.2 Our long term scientific goals: Efficiency and Security . 50 4.1.3 Detailed descriptoin of research objectives . 51 4.2 Project implementation . 53 5 List of publications: Algorithms and Complexity 57 ACL : Articles in international or national journals . 57 C-INV : Invited talks . 60 C-ACTI : International conference proceedings . 60 C-COM : International or national conferences without proceedings . 64 DO : Editing of journals and other works . 66 OS : Scientific works . 66 PV : Popularization works . 66 AP : Other works . 66 6 Appendix: Algorithms and Complexity 67 6.1 Composition and team organization . 67 6.1.1 Current members . 67 6.1.2 Former members . 68 6.1.3 Visitors . 69 6.1.4 Team organization . 69 6.2 Grants and research projects . 70 6.2.1 Management of international projects . 70 6.2.2 Management of national projects . 71 6.2.3 Participation in international projects . 71 6.2.4 Participation in local projects . 71 6.2.5 Participation in local projects . ..