Séminaires de recherche
Algorithmes et complexité
mardi / mercredi 11h salle 3052
Algorithmes et structures discrètes
Automates
vendredi 14h00 salle 3052
Combinatoire énumérative et analytique
mardi 11h salle 1007
Graphes
mardi 14h salle 1007
Graphes et calcul distribué
mardi 14h salle 3052 ou en ligne
Preuves, programmes et systèmes
jeudi 10h30 en ligne
Séminaire Formath (Formalized Mathematics)
lundi 14h 1007 ou 3052
Séminaire des membres non-permanents
jeudi 16h salle 3052
Vérification
lundi 11h00 salle 1007