Homotopy Type Theory 2019 (HoTT 2019)

12–17 August 2019, Carnegie Mellon University, Pittsburgh, USA

There will be an International Conference on Homotopy Type Theory (HoTT 2019) from August 12th to 17th, 2019, at Carnegie Mellon University in Pittsburgh, USA.

There will also be an associated Homotopy Type Theory Summer School in the preceding week, August 7th to 10th.

Further information will be posted here as it becomes available.

Invited Speakers

Summer School Topics and Instructors

Scientific Committee
Summer School Organizers