Interactions of Proof Assistants and Mathematics

• Studierende
• Tagung
• Workshop

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