Save the date!
Next summer will be the first:

International Conference on Homotopy Type Theory
(HoTT 2019)
Carnegie Mellon University
Pittsburgh, USA
11 – 16 August 2019

There will also be an associated:

HoTT Summer School
7 – 10 August 2019

Details to follow in the fall!

The program committee,

Steve Awodey
Andrej Bauer
Thierry Coquand
Nicola Gambino
Peter Lumsdaine
Mike Shulman (chair)