[[!redirects Events]] * [EPIT](https://www.irif.fr/~epit/) 25-29 Mai 2020 * [CMU](https://homotopytypetheory.org/2018/06/07/hott-2019/) Summer school and conference, 7 - 17 August 2019 * [Leeds](https://conferences.leeds.ac.uk/httuf/) The Summer School on Higher Topos Theory and Univalent Foundations will take place from June 24th to June 28th 2019 * [TYPES](https://cas.oslo.no/hott-uf/) Oslo, Norway, 12 - 14 June 2019 * [6WFTop](http://www.cs.bham.ac.uk/~sjv/6WFTop/) Mon 8 to Fri 12 April 2019 * [Geometry in Modal Homotopy Type Theory](http://www.andrew.cmu.edu/user/fwellen/modal-workshop.html), CMU, March 11-15, 2019 * [[Bonn18]]: Types, Homotopy Type Theory, and Verification. [Videos of the talks are available here.](https://www.youtube.com/channel/UC2F-j2KMho0zVWIPFKWoXoA/videos/) [The Hausdorff Institute page is here.](https://www.him.uni-bonn.de/programs/current-trimester-program/types-sets-constructions/workshop-types-homotopy-type-theory-and-verification/) * [HoTT/UF](https://hott-uf.github.io/) workshops category: events