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 Automates et applications Calcul distribué Combinatoire Modélisation et vérification Preuves et programmes Programmes et Langages (PL) Théorie et algorithmique des graphes Équipes INRIA GANG Picube (Inria) seminaires Groupes de travail Séances passées Catégories supérieures, polygraphes et homotopie Combinatoire énumérative et analytique Programmation Sémantique Sémantique et vérification Théorie des types et réalisabilité Publications 2017 2016 2015 (LIAFA ou PPS) 2014 (LIAFA ou PPS) Intranet