Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed

only message in thread, other threads:[~2020-08-18 16:44 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <CANr23v3ZOzUXtkmboJO8TsCFf2e6TeWjM3Cr2J9a-ayZZwSs_w@mail.gmail.com>
2020-08-18 16:44 ` [HoTT] Fwd: Panel Debate, Wednesday 2 September @ 3pm UTC: "Evolution or Revolution? The Future of Conferences in Theoretical Computer Science" Nicolai Kraus

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).