Groupes de travail Logique, automates, algèbre et jeux Sémantique Combinatoire Théorie des types et réalisabilité Analyse et conception de systèmes Catégories supérieures, polygraphes et homotopie Autres groupes de travail