Conférences et rencontres
-
Du 29 juin au 1 juillet 2026 conférence
-
Rencontre informelle sur les théories de Chern Simons
- Lieu : Salle de conférences IRMA
-
Du 31 août au 4 septembre 2026 conférence
-
Ecole d’été "Proof assistants and applications"
- Lieu : Salle de conférences IRMA