The future:


The past:
- [HoTT Conference 2019](https://homotopytypetheory.org/2018/06/07/hott-2019/) -- August 11 - 16, 2019, Carnegie Mellon University, Pittsburgh, Pennsylvania
- [Summer School on Higher Topos Theory and Univalent Foundations](https://conferences.leeds.ac.uk/httuf/) -- June 24 - 28, 2019, University of Leeds, UK
- [Proof and Computation](http://www.mathematik.uni-muenchen.de/~schwicht/pc18.php) -- September 16 - 22, 2018, Fischbachau, Germany
- [Vladimir Voevodsky Memorial Conference](http://www.math.ias.edu/vvmc2018) -- September 11 - 14, 2018, Institute for Advanced Study, Princeton
- [Formalization of Mathematics in Type Theory](http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=18341) -- August 19 – 24, 2018, Dagstuhl, Germany
- [Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)](http://lics.siglog.org/lics18/)
  -- July 9–12, 2018, Oxford
- [9th International Conference on Interactive Theorem Proving (ITP 2018)](https://itp2018.inria.fr/) --
  July 9-12, 2018, Oxford
- [Workshop on Homotopy Type Theory/ Univalent Foundations (HoTT/UF) 2018](https://hott-uf.github.io/2018/) -- July 7-8, 2018, Oxford, United Kingdom
- [Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP) 2018](http://lfmtp.org/workshops/2018/) -- July 7, 2018, Oxford, United Kingdom
- [Workshop: Types, Homotopy Type theory, and Verification](https://www.him.uni-bonn.de/programs/future-programs/future-trimester-programs/types-sets-constructions/workshop-types-homotopy-type-theory-and-verification/) -- June 4-8, 2018, Bonn, Germany
- [Midwest Homotopy Type Theory Seminar](http://uwo.ca/math/faculty/kapulkin/seminars/midwest_hott_seminar.html) -- May 26 - 27, 2018, London, Ontario.
- [School and Workshop on Univalent Mathematics](https://unimath.github.io/bham2017/) -- December 11-15, 2017, University of Birmingham, United Kingdom
- [Workshop on Homotopy Type Theory/ Univalent Foundations (HoTT/UF) 2017](https://hott-uf.github.io/2017/) -- September 8-9, 2017, Oxford, United Kingdom.



