https://itp-school-2023.github.io/
The school will present state-of-the-art proof assistants from
different angles: including theoretical foundations, engineering
aspects, and applications in areas in mathematics and computer
science. The goal of the summer school is to introduce proof
assistants to students and researchers in both mathematics and
computer science, while fostering collaboration and exchange between
these communities. The programme will consist of short courses,
research talks, tutorials, exercise sessions, and contributed talks.
The list of speakers includes:
Benedikt Ahrens
Steve Awodey
Andrej Bauer
Yves Bertot
Thierry Coquand
John Harrison
Angeliki Koutsoukou-Argyraki
Conor McBride
Paige Randall North
Emily Riehl
Michael Shulman
Registration for participation and contributed talks will open in May
and close on June 9. Updates and further information will be posted on
the summer school homepage
The summer school will take place in September 2023 in the town centre
of Regensburg in Bavaria, Germany. The Old Town of Regensburg is
listed as a UNESCO World Heritage Site, and considered the largest
authentically preserved medieval city in Germany.