inria:sidebar

Présentation
Contacts et accès
Structure du laboratoire
Annuaire

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

GANG
Picube (Inria)

Groupes de travail

Analyse et conception de systèmes
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é

2017
2016
2015 (LIAFA ou PPS)
2014 (LIAFA ou PPS)