Cet événement est passé.Il a eu lieu le 4 novembre 2025 (East Hall).
Conférence éducativeConférence éducativeExplorez l'avenir des mathématiques à l'ère de l'IA avec le Pr Matthew Ballard. Une conférence captivante sur la confiance et la preuve dans un monde où l'IA révolutionne le raisonnement mathématique.
IA et mathématiques
Conférence académique
Vérification formelle
Gratuit
Colloquium: Matthew Ballard - Trust and Proof in the Age of AI
Burns Park
Conférence éducativeConférence éducativeExplorez l'avenir des mathématiques à l'ère de l'IA avec le Pr Matthew Ballard. Une conférence captivante sur la confiance et la preuve dans un monde où l'IA révolutionne le raisonnement mathématique.
IA et mathématiques
Conférence académique
Vérification formelle
Gratuit
Fais-en une sortie
Ajoute des spots avant ou après ton événement