Monthly Archives: February 2019

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