Seminars - page 5
The DIG team holds a seminar about every two weeks with speakers either from the team, or invited.
You can add the seminars to your calendar with this ics file, and get emails about future seminars by subscribing to our mailing-list.
If you would like to present your work at our seminar, please contact Nils.
Upcoming Seminars
AI, Proofs, and Programs
Tuesday, September 08, 2026 11:45, 4A301
Thomas Bonald
AI is transforming mathematics, raising profound questions: Can we trust AI-generated proofs? Do we understand them? And what role will mathematicians play in this new era? This talk explores these questions through the lens of proof checking, formal systems, and the elegant Curry-Howard correspondence—a deep connection between logic, computation, and the nature of mathematical truth.
Past Seminars
None
Tuesday, February 13, 2024 11:45, oui, 4A125
Fabian (None)
None
None
Tuesday, January 30, 2024 11:45, oui, 4A125
Nils (None)
None
None
Tuesday, January 23, 2024 11:45, oui, 4A125
Mariam (None)
None
None
Tuesday, December 19, 2023 11:45, oui, 4A125
Rajaa (None)
None
None
Tuesday, December 12, 2023 11:45, oui, 4A125
Charbel-Raphaël Segerie (None)
None
None
Tuesday, November 21, 2023 11:45, oui, 4A301
Thomas + Simon D (None)
None
None
Tuesday, September 26, 2023 11:45, oui, 4A101
Ned (None)
None
None
Tuesday, September 19, 2023 11:45, oui
Julien Lie-Panis (None)
None
None
Tuesday, June 13, 2023 11:45, None
Lihu Chen (None)
None
None
Tuesday, June 06, 2023 11:45, None
Minh Huong Le Nguyen (None)
None