Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] Regensburg summer school
@ 2023-05-05 11:05 Steve Awodey
  0 siblings, 0 replies; only message in thread
From: Steve Awodey @ 2023-05-05 11:05 UTC (permalink / raw)
  To: Homotopy Type Theory; +Cc: CMUHoTT

[-- Attachment #1: Type: text/plain, Size: 1706 bytes --]

Interactions of Proof Assistants and Mathematics,
September 18-29, 2023, University of Regensburg.


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.

You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/6F8CFB8C-D798-40A2-872A-D53A65AE4871%40gmail.com.

[-- Attachment #2: Type: text/html, Size: 11396 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2023-05-05 11:06 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-05-05 11:05 [HoTT] Regensburg summer school Steve Awodey

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).