### HoTT 2019

#### Posted by John Baez

The first International Conference on Homotopy Type Theory, **HoTT 2019**, will take place from August 12th to 17th, 2019 at Carnegie Mellon University in Pittsburgh, USA. Here is the organizers’ announcement:

The invited speakers will be:

- 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)
- Karol Szumilo (University of Leeds, UK)

Submissions of contributed talks will open in January and conclude in March; registration will open sometime in the spring.

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

The topics and instructors are:

- Cubical methods: Anders Mortberg
- Formalization in Agda: Guillaume Brunerie
- Formalization in Coq: Kristina Sojakova
- Higher topos theory: Mathieu Anel
- Semantics of type theory: Jonas Frey
- Synthetic homotopy theory: Egbert Rijke

We expect some funding to be available for students to attend the summer school and conference.

Looking forward to seeing you in Pittsburgh!

The scientific committee consists of:

- Steven Awodey
- Andrej Bauer
- Thierry Coquand
- Nicola Gambino
- Peter LeFanu Lumsdaine
- Michael Shulman, chair