Groupes de travail Analyse et conception de systèmes vendredi 10h30 salle 1007 Catégories supérieures, polygraphes et homotopie vendredi 14h salle 1007 Logique, automates, algèbre et jeux Mercredi 14h salle 4033 Sémantique mardi 10h30 salle 3052 Théorie des types et réalisabilité mercredi 14h salle 1007