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 La théorie des types et la théorie de l'homotopie vendredi 15h30 salle 3052 Logique, automates, algèbre et jeux Mercredi 14h salle 4033 Sémantique mardi / mercredi 10h45 salle 3052 Théorie des types et réalisabilité mercredi 14h salle 1007