Monthly Archives: May 2019

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