You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Steve Awodey (May 10 2023 at 22:04):*** HoTT 2023
*** Second International Conference on Homotopy Type Theory
*** Carnegie Mellon University
*** 22nd-25th May 2023
The Programme is now available here:
https://hott.github.io/HoTT-2023//programme/
Registration will close on 14 May.
Until then you can still register via the website:
https://hott.github.io/HoTT-2023//registration/
With best regards,
Steve (on behalf of the Scientific and Organising Committees)
Josselin Poiret (May 11 2023 at 07:50):Hi Steve, will the talks be recorded/streamed anywhere? I can't find any information about this on the conference's website (but maybe I simply missed it)