Groupes de travail
Analyse et conception de systèmes
vendredi 10h30 salle 4052
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