Category Archives: News

HoTT 2019

Save the date!  Next summer will be the first: International Conference on Homotopy Type Theory (HoTT 2019) Carnegie Mellon University 11 – 16 August 2019 There will also be an associated: HoTT Summer School 7 – 10 August 2019 More … Continue reading

Posted in News | Leave a comment

UF-IAS-2012 wiki archived

The wiki used for the 2012-2013 Univalent Foundations program at the Institute for Advanced Study was hosted at a provider called Wikispaces. After the program was over, the wiki was no longer used, but was kept around for historical and … Continue reading

Posted in News | 2 Comments


At the 2018 U.S. Joint Mathematics Meetings in San Diego, there will be an AMS special session about homotopy type theory. It’s a continuation of the HoTT MRC that took place this summer, organized by some of the participants to … Continue reading

Posted in News, Publicity | Leave a comment


From June 4 — 10, 2017, there will be a workshop on homotopy type theory as one of the AMS’s Mathematical Research Communities (MRCs).

Posted in News, Publicity, Uncategorized | 1 Comment

HoTT awarded a MURI

We are pleased to announce that a research team based at Carnegie Mellon University has received a $7.5 million, five-year grant from the US Air Force Office of Scientific Research, as part of the highly competitive, DoD Multidisciplinary University Research Initiative … Continue reading

Posted in News | 2 Comments