Séances passées vendredi 10h30 salle 4052

Catégories supérieures, polygraphes et homotopie vendredi 14h salle 1013

Commission IRIF et environnement

Graphes et Logique mercredi 13h30 salle 3052

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 Topos mercredi 14h salle 3052

Théorie des types et réalisabilité mercredi 14h salle 1007