Category Archives: Meeting
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
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.
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