Category Archives: Meeting

HoTT 2019 Last Call

Posted on 9 May 2019 by Steve Awodey

Last call for submissions INTERNATIONAL CONFERENCE AND SUMMER SCHOOL ON HOMOTOPY TYPE THEORY 12-17 August 2019 Carnegie Mellon University, Pittsburgh USA https://hott.github.io/HoTT-2019 Submission of talks and registration are open for the International Homotopy Type Theory conference (HoTT 2019), to be … Continue reading →

Posted in Meeting, Uncategorized | 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