[Event at CIG] Summer School "Interactions of Proof Assistants and Mathematics" 2023

[Philipp Ruemmer]

[Apologies for multiple copies. Please forward to interested students.]

Dear all,

we are pleased to announce the summer school

Interactions of Proof Assistants and Mathematics,
September 18-29, 2023, University of Regensburg.
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 https://itp-school-2023.github.io/

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.

Best regards,
Denis-Charles Cisinski, Clara Löh, Philipp Rümmer