-
Du 31 août au 4 septembre 2026 conférence
Ecole d’été "Proof assistants and applications"
- Lieu : Salle de conférences IRMA
-
Jeudi 24 septembre 2026 conférence
L’intelligence artificielle comme instrument scientifique pour les mathématiques
- Lieu : Salle de conférences IRMA
Ecole d’été "Proof assistants and applications"
conférence
- Du 31 août au 4 septembre 2026
- Salle de conférences IRMA
L’intelligence artificielle comme instrument scientifique pour les mathématiques
conférence
- 24 septembre 2026
- Salle de conférences IRMA