UniDistance will be hosting a 3-day workshop (Wednesday 25th-Friday 27th March 2026) on “Formalization and Proof Assistants”. This is combined with the spring meeting of the Swiss Mathematical Society on the afternoon of Friday 27th.

Proof assistants, such as Lean, Isabelle, and Coq, are software systems for checking the correctness of mathematical proofs. They have now advanced to the point that “ordinary” mathematicians (without specialist training in logic or computer science) can easily learn to write proofs that the computer can check; and recently AI systems, such as AlphaProof and Aristotle, have been developed which can automatically generate formally-verified proofs. In this conference, we'll be hearing from experts in both interactive and automated theorem proving.

Speakers

The following speakers are confirmed (further speakers TBA):

• Jaume de Dios Pont (ETH / New York University)
• Floris van Doorn (Bonn University)
• Manuel Eberl (Innsbruck University)
• Stefan Kebekus (Freiburg University
• Sidharth Hariharan (Carnegie Mellon University)
• Auguste Poiroux (EPFL / Math, Inc.)
• Maryna Viazovska (EPFL)

For any questions, please contact david.loeffler@unidistance.ch.