Go to content

Events at the University of Regensburg

Interactions of Proof Assistants and Mathematics

Monday, September 18, 2023 - Friday, September 29, 2023

International Summer School

Proof assistants are tools that enable the formal description and rigorous analysis of complex systems. Proof assistants increasingly find use in all areas in which mistakes are not an option; for instance, in the design of hardware components, software programs, or to produce machine-checked proofs of deep results in mathematics.
This summer school on Interactions of Proof Assistants and Mathematics presents state-of-the-art proof assistants from different angles: theoretical foundations, engineering aspects, applications in areas including mathematics and computer science. The goal of is to introduce proof assistants to students in both mathematics and computer science, while fostering collaboration and exchange between those two communities.

As the number of participants is limited, all prospective participants will have to apply for participation: https://itp-school-2023.github.io/participation


Hinter der Grieb


Prof. Dr. Denis-Charles Cisinski (Fakultät für Mathematik),
Prof. Dr. Clara Löh (Fakultät für Mathematik),
Prof. Dr. Philipp Rümmer (FIDS)

Press and Public Relations