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