Seminars - page 4
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, October 08, 2024 11:45, 4A125
Rajaa + Yiwen (None)
None
None
Tuesday, September 24, 2024 11:45, 4A125
Ambroise Odonnat (None)
None
None
Tuesday, September 10, 2024 11:45, 4A125
Samuel & Jean-Louis (None)
None
None
Tuesday, July 09, 2024 11:45, 4A125
Peter Fratric (None)
None
None
Tuesday, July 02, 2024 11:45, 4A301
Chadi (None)
None
None
Tuesday, June 18, 2024 11:45, 4A125
Shady Elbassuoni (None)
None
None
Tuesday, June 11, 2024 11:45, 4A301
Agneszka (None)
None
None
Tuesday, May 28, 2024 11:45, 4A125
Concept AI (None)
None
None
Tuesday, May 21, 2024 11:45, 4A125
fake talks (None)
None
None
Tuesday, March 26, 2024 11:45, 4A125
Mehwish (None)
None