Category Archives: News

Postdoctoral Position in HoTT at the University of San Diego

Posted on 20 January 2021 by Mike Shulman
Posted in Jobs, News | Leave a comment

HoTT Dissertation Fellowship

Posted on 3 October 2020 by Steve Awodey

Update (Nov. 13): Application deadline extended to December 1, 2020. PhD students close to finishing their thesis are invited to apply for a Dissertation Fellowship in Homotopy Type Theory. This fellowship, generously funded by Cambridge Quantum Computing and Ilyas Khan, will provide … Continue reading →

Posted in News, Support | 1 Comment

Geometry in Modal HoTT now on Zoom

Posted on 4 March 2019 by Felix Cherubini

The workshop Geometry in Modal HoTT taking place next week at cmu will be available for online participation via Zoom! The recorded talks will be available on youtube (provided the speakers give their consent) sometime after the workshop.

Posted in Meeting, News | Leave a comment

HoTT 2019 Call for Submissions

Posted on 4 February 2019 by Mike Shulman

Submissions of talks are now open for the International Homotopy Type Theory conference (HoTT 2019), to be held from August 12th to 17th, 2019, at Carnegie Mellon University in Pittsburgh, USA.  Contributions are welcome in all areas related to homotopy type … Continue reading →

Posted in Meeting, News | Leave a comment

HoTT 2019

Posted on 7 June 2018 by Steve Awodey

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

Posted in News | 6 Comments

UF-IAS-2012 wiki archived

Posted on 7 May 2018 by Mike Shulman

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

HoTT at JMM

Posted on 13 November 2017 by Mike Shulman

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

HoTT MRC

Posted on 4 October 2016 by Mike Shulman

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

Posted on 29 April 2014 by Steve Awodey

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