Groupes de travail Analyse et conception de systèmes vendredi 10h30 salle 1007 Catégories supérieures, polygraphes et homotopie vendredi 14h Commission IRIF et environnement La syntaxe rencontre la sémantique jeudi 14h salle 1007 Logique, automates, algèbre et jeux Mercredi 14h salle 4033 Preuves, programmes et tout ça jeudi 14h salle 1007 Sémantique mardi 10h30 salle 3052 Théorie des types et réalisabilité mercredi 14h salle 1007