The Second International Conference on Homotopy Type Theory (HoTT 2023) was held in Pittsburgh, USA, on May 22–25, 2023 with the sponsorship of the Association for Symbolic Logic. The meeting was hosted by the Department of Philosophy of Carnegie Mellon University. Financial support was also provided by the Dietrich College of Humanities and Social Sciences, the National Science Foundation, and the Air Force Office of Scientific Research.
The Scientific Committee was chaired by Nicola Gambino (Manchester) and consisted of Thorsten Altenkirch (Nottingham), Steve Awodey (CMU), Benno van den Berg (Amsterdam), Dan Christensen (Western Ontario), Hugo Herbelin (INRIA), Peter LeFanu Lumsdaine (Stockholm), Maria Emilia Maietti (Padova), and Emily Riehl (Johns Hopkins).
The Local Organizing Committee consisted of Mathieu Anel, Carlo Angiuli, Steve Awodey (Chair), Jonas Frey, and Andrew Swan, all of CMU.
Four invited lectures were delivered at the meeting:
-
Julie Bergner (Virginia), Discreteness and completeness conditions for
$(\infty ,n)$
-categories. -
Thierry Coquand (Gothenburg), A type theoretic model of synthetic algebraic geometry.
-
András Kovács (Budapest). Efficient evaluation for cubical type theories.
-
Anders Mörtberg (Stockholm), Computational synthetic homotopy theory.
The second Voevodsky Memorial Lecture was also delivered:
-
Michael Shulman (San Diego), The unifying power of modal type theory.
In addition, a total of 31 contributed talks were delivered at the meeting. The award for the best student paper was given to Axel Ljungström (Stockholm) for Symmetric Monoidal Smash Products in HoTT. The meeting was attended by 82 registered participants from 12 different countries.
Further information can be found at the meeting website:
hott.github.io/HoTT-2023
For the Organizing Committee
Steve Awodey
