Homotopy Type Theory 2019

The International Conference on Homotopy Type Theory (HoTT 2019) will take place

Monday August 12 to Saturday August 17 (noon)

at Carnegie Mellon University in Pittsburgh, USA.

The associated Homotopy Type Theory Summer School will take place in the preceding week,

Wednesday August 7 to Saturday August 10.

Invited Speakers

Scientific Committee
Local Committee


Air Force Office of Scientific Research     National Science Foundation     Dietrich College of Humanities and Social Sciences     CMU Department of Philosophy

We also acknowledge generous support from Ilyas Khan.

Contact: hott2019conference@gmail.com.