Monthly Archives: May 2019

HoTT 2019 Last Call

Last call for submissions INTERNATIONAL CONFERENCE AND SUMMER SCHOOL ON HOMOTOPY TYPE THEORY 12-17 August 2019 Carnegie Mellon University, Pittsburgh USA 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