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. 

More news

[Students] Technical tips to prepare for an online exam

Read more

[Etudiants] Quelques gestes pour participer activement à un cours à distance

UniDistance Suisse Read more

Valais Criminal Law Conference: Deepfakes in Focus

Law Read more

SMS Spring Meeting : Formalization and Proof Assistants

Mathematics and Computer Science Read more

Postdoctorante ou Postdoctorant en histoire moderne et contemporaine (90%)

UniDistance Suisse Read more