From: Steve Awodey <awodey@cmu.edu>
To: Homotopy Type Theory <homotopytypetheory@googlegroups.com>
Subject: [HoTT] The HoTT Book is (almost) done!
Date: Tue, 23 May 2023 07:58:09 -0400 [thread overview]
Message-ID: <C51B71F1-2843-4142-ADA5-2B866D1B0EE6@cmu.edu> (raw)
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.
reply other threads:[~2023-05-23 11:58 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=C51B71F1-2843-4142-ADA5-2B866D1B0EE6@cmu.edu \
--to=awodey@cmu.edu \
--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).