Seminars - page 6
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, May 23, 2023 11:45, None
Giovanni Sileno (None)
None
None
Tuesday, April 18, 2023 11:45, none
Armand Boschin
None
None
Tuesday, April 11, 2023 11:45, None
Fabian (None)
None
None
Tuesday, February 14, 2023 11:45, None
Lihu Chen (None)
None