Informations Présentation Contacts et accès Structure du laboratoire Annuaire Pôles Algorithmes et structures discrètes Automates, structures et vérification Preuves, programmes et systèmes Équipes thématiques Algorithmes et complexité Algèbre et calcul Analyse et conception de systèmes Automates et applications Calcul distribué Combinatoire Modélisation et vérification Preuves et programmes Théorie et algorithmique des graphes Équipes INRIA GANG Picube (Inria) seminaires Groupes de travail Analyse et conception de systèmes Catégories supérieures, polygraphes et homotopie Combinatoire énumérative et analytique Programmation Sémantique semverif Théorie des types et réalisabilité Publications 2017 2016 2015 (LIAFA ou PPS) 2014 (LIAFA ou PPS) Intranet