The HoTT Book is (almost) done!
117 views
Skip to first unread message
Steve Awodey
May 23, 2023, 7:58:13 AM5/23/23
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
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
Reply all
Reply to author
Forward
0 new messages