Homotopy Type Theory 2019

The International Conference on Homotopy Type Theory (HoTT 2019) will take place from August 12 to 17 at Carnegie Mellon University in Pittsburgh, USA.

The associated Homotopy Type Theory Summer School will take place in the preceding week, from August 7 to 10.

Invited Speakers

Scientific Committee
Local Committee

Contact: hott2019conference@gmail.com.