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, Gauss 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

• Jaume de Dios Pont (ETH / New York University)
• Oliver Dressler (Fernfachhochschule Schweiz)
• Floris van Doorn (Bonn University)
• Manuel Eberl (Innsbruck University)
• Moritz Firsching (Google)
• Sidharth Hariharan (Carnegie Mellon University)
• Sina Hazratpour (Cambridge University)
• Chi-Yun Hsu (Santa Clara University)
• Stefan Kebekus (Freiburg University
• Alessandro Iraci (Università Telematica Pegaso)
• Auguste Poiroux (EPFL / Math, Inc.)
• Michael Stoll (Universität Bayreuth)
• Hang Lu Su (ICMAT Madrid)
• Johannes Überberg (MathGarden)
• Maryna Viazovska (EPFL)
• Goran Zuzic (Google) (tbc)

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