What happens when formal methods meet artificial intelligence? This question took centre stage at the international workshop “Formalization and Proof Assistants”, held from 25 to 27 March 2026 at UniDistance Suisse and organised by Professor of Mathematics David Loeffler. The event formed part of the “Spring Meetings” of the Swiss Mathematical Society and brought together leading experts from around the world.

The workshop featured renowned researchers from academia as well as representatives from industry. Among them was Fields Medallist Maryna Viazovska (EPFL), alongside experts from leading AI companies such as Google DeepMind. This combination of perspectives highlighted the growing connection between academic research and technological innovation. 

We were delighted to welcome such an outstanding group of international experts to our campus

said Prof. Dr David Loeffler.

« The combination of formal methods and artificial intelligence is revolutionizing mathematical research, bringing new insights into problems that have fascinated mathematicians for centuries; and it is hugely exciting to watch mathematical history being made here in Valais.» 

The workshop was supported by a generous donation from the Mathlib Initiative, a programme of Renaissance Philanthropy, as well as by the Swiss Mathematical Society. It provided a dynamic platform for exchange and collaboration within the mathematical community. 

Diligentia Foundation Funds Research Project at FernUni Schweiz on Administrative Barriers in the Tax System

Economics Read more

Valais at the Heart of Empirical Economic Research

Economics Read more

“UniDistance Suisse is an attractive institution in the field of high-level scientific research”

Economics Read more

Congratulations to Christoph Drobner on his appointment at CEU

Economics Read more

Premier hackathon à UniDistance Suisse

Mathematics and Computer Science Read more