Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Summer School "Interactions of Proof Assistant...


view this post on Zulip Email Gateway (Apr 21 2023 at 13:50):

From: Philipp Ruemmer <philipp.ruemmer@it.uu.se>
[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:

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

OpenPGP_signature


Last updated: Mar 28 2024 at 08:18 UTC