From: Steve Awodey <steveawodey@gmail.com>
To: Homotopy Type Theory <homotopytypetheory@googlegroups.com>
Cc: CMUHoTT <cmu-hott@googlegroups.com>
Subject: [HoTT] Regensburg summer school
Date: Fri, 5 May 2023 07:05:57 -0400 [thread overview]
Message-ID: <6F8CFB8C-D798-40A2-872A-D53A65AE4871@gmail.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 1706 bytes --]
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.
--
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 --]
reply other threads:[~2023-05-05 11:06 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=6F8CFB8C-D798-40A2-872A-D53A65AE4871@gmail.com \
--to=steveawodey@gmail.com \
--cc=cmu-hott@googlegroups.com \
--cc=homotopytypetheory@googlegroups.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).