Groupes de travail Séances passées vendredi 10h30 salle 4052 Catégories supérieures, polygraphes et homotopie vendredi 14h salle 1013 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 14h salle 1013 Logique, automates, algèbre et jeux Mercredi 14h salle 4033 Programmation Lundi 10h IRIF, Sophie Germain Sémantique mardi 15h salle 3071 Théorie des types et réalisabilité mercredi 14h salle 1007