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
- Ulrik Buchholtz (TU Darmstadt, Germany) – Musings about 2-groups
- Dan Licata (Wesleyan University, USA) – A Fibrational Framework for Substructural and Modal Dependent Type Theories
- Andrew Pitts (University of Cambridge, UK) – Presheaves, Constructive Sets and Univalence
- Emily Riehl (Johns Hopkins University, USA) – The equivariant uniform Kan fibration model of cubical homotopy type theory
- Christian Sattler (University of Gothenburg, Sweden) – Homotopy canonicity
- Karol Szumilo (University of Leeds, UK) – Internal Languages of Higher Categories
There will also be a special Vladimir Voevodsky Memorial Lecture given by
- André Joyal (Université du Québec à Montréal, Canada) – Problems and conjectures on polynomial functors and monads in ∞-toposes
- Steve Awodey (Carnegie Mellon University, USA)
- Andrej Bauer (University of Ljubljana, Slovenia)
- Thierry Coquand (University of Gothenburg, Sweden)
- Nicola Gambino (University of Leeds, UK)
- Peter LeFanu Lumsdaine (Stockholm University, Sweden)
- Michael Shulman (University of San Diego, USA), chair
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.
The submission deadline is November 15, 2019.
We also acknowledge generous support from Ilyas Khan.
Click the image for a full-size jpg file of the conference poster for printing.