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)