É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