The future:
The past:
- HoTT Conference 2019 – August 11 - 16, 2019, Carnegie Mellon University, Pittsburgh, Pennsylvania
- Summer School on Higher Topos Theory and Univalent Foundations – June 24 - 28, 2019, University of Leeds, UK
- Proof and Computation – September 16 - 22, 2018, Fischbachau, Germany
- Vladimir Voevodsky Memorial Conference – September 11 - 14, 2018, Institute for Advanced Study, Princeton
- Formalization of Mathematics in Type Theory – August 19 – 24, 2018, Dagstuhl, Germany
- Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
– July 9–12, 2018, Oxford
- 9th International Conference on Interactive Theorem Proving (ITP 2018) –
July 9-12, 2018, Oxford
- Workshop on Homotopy Type Theory/ Univalent Foundations (HoTT/UF) 2018 – July 7-8, 2018, Oxford, United Kingdom
- Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP) 2018 – July 7, 2018, Oxford, United Kingdom
- Workshop: Types, Homotopy Type theory, and Verification – June 4-8, 2018, Bonn, Germany
- Midwest Homotopy Type Theory Seminar – May 26 - 27, 2018, London, Ontario.
- School and Workshop on Univalent Mathematics – December 11-15, 2017, University of Birmingham, United Kingdom
- Workshop on Homotopy Type Theory/ Univalent Foundations (HoTT/UF) 2017 – September 8-9, 2017, Oxford, United Kingdom.