É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