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