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 Conference Speakers

There will also be a special Vladimir Voevodsky Memorial Lecture given by

Scientific Committee

A proceedings volume will be published as a special issue of Mathematical Structures in Computer Science, edited by Dan Licata and Peter LeFanu Lumsdaine. The special issue invites all work on homotopy type theory and related research areas, and is open to work not presented at the conference as well as papers related to talks that were given.

To submit your paper, please follow the general submission procedure for MSCS through ManuscriptCentral. On the page labeled “Step 1: Type, Title, & Abstract” there is a field for “Special Issue”. Please select “Homotopy Type Theory 2019” from the list.

The submission deadline is November 15, 2019.

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.


Click the image for a full-size jpg file of the conference poster for printing.

Conference poster

Contact: hott2019conference@gmail.com.