This summer school offers an introduction to proof assistants for mathematics and its applications in programme certifications. It covers several recent techniques, such as homotopy theory or the interactions with large language models.
The summer school is composed of five lectures and three talks. Each lecture (2x1h30) will be complemented by 2 hours of tutorials. It is primarily intended for the students of the graduate program "Mathematics and interactions: research and interactions" of the University of Strasbourg but is also accessible to any interested PhD student or researcher. As space is limited, priority will be given to PhD students. This event is supported by the Interdisciplinary Thematic Institute IRMIA++.
It will take place from 31 August to 4 September 2026 in the IRMA conference room at the University of Strasbourg.
Lectures
Introduction to type theory, Loïc Pujet (Université de Strasbourg)
Abstract
Title, Lecturer ()
Abstract
Title, Lecturer ()
Abstract
Title, Lecturer ()
Abstract
Title, Lecturer ()
Abstract