Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

12 - 17 August 2019, International Conference on Homotopy Type Theory (HoTT 2019), Pittsburgh PA, U.S.A.

Date: 12 - 17 August 2019
Location: Pittsburgh PA, U.S.A.
Deadline: Saturday 1 June 2019

Invited Speakers: Ulrik Buchholtz (TU Darmstadt, Germany), Dan Licata (Wesleyan University, USA), Andrew Pitts (University of Cambridge, UK), Emily Riehl (Johns Hopkins University, USA), Christian Sattler (University of Gothenburg, Sweden) and Karol Szumilo (University of Leeds, UK),

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

For more information, see hott.github.io slash HoTT-2019 or contact

Contributions are welcome in all areas related to homotopy type theory, including but not limited to:

* Homotopical and higher-categorical semantics of type theory * Synthetic homotopy theory * Applications of univalence and higher inductive types * Cubical type theories and cubical models * Formalization of mathematics and computer science in homotopy type theory / univalent foundations

Please submit 1-paragraph abstracts through EasyChair.

Please note that this newsitem has been archived, and may contain outdated information or links.