Interactions of Proof Assistants and Mathematics

International Summer School, Regensburg, Germany, 2023

Important Dates

Application: May - June 9 2023
In-person registration: Aug 1 2023
Online registration: Sept 15 2023
Summer school: Sept 18-29 2023

Links

Contact the Organizers

itp-school-2023@googlegroups.com

Travel Information

Summer School Venue

The summer school will take place at the following venue in the centre of the old town:

Haus der Begegnung
Hinter der Grieb 8
93047 Regensburg

Travelling to Regensburg

For general information on how to reach Regensburg, please see the university page.