* [HoTT] The HoTT Book is (almost) done!
@ 2023-05-23 11:58 Steve Awodey
0 siblings, 0 replies; only message in thread
From: Steve Awodey @ 2023-05-23 11:58 UTC (permalink / raw)
To: Homotopy Type Theory
Dear HoTT Book Coauthors and Users,
After 10 years and thousands of improvements, it’s time to close the book on The Book and declare it officially done! That will happen in a not-so somber ceremony to be live-streamed online from HoTT 2023 in Pittsburgh and Mission Control in Ljubljana at midnight CEST on Wednesday 24 May 2023 (let’s say 11:59pm to avoid the ambiguity).
Please join us to celebrate the occasion! We will use the CMU HoTT Seminar Zoom:
https://cmu.zoom.us/j/622894049
Meeting ID: 622 894 049
Passcode: Brunerie's number
And let’s get those last pull requests resolved people!
Univalent regards,
Steve
11:59 CEST
~ 6pm EDT
= 10pm UTC
--
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/C51B71F1-2843-4142-ADA5-2B866D1B0EE6%40cmu.edu.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2023-05-23 11:58 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-05-23 11:58 [HoTT] The HoTT Book is (almost) done! 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).