[[!redirects Events]] * [Cortona](https://unimath.github.io/cortona2020/) UniMath school, July 27-31, 2020, Cortona, Italy * [ICMS](https://univalent-math.github.io/) * [HoTT/UF'20](https://hott-uf.github.io/2020) * [EPIT](https://epit2020cnrs.inria.fr) 25-29 May 2020, Spring School, France * [Memorial conference for Erik Palmgren]( http://logic.math.su.se/palmgren-memorial/) Thu/Fri 7–8 May 2020 ### Passed ### * [HoTT2019](https://hott.github.io/HoTT-2019/) Summer school and conference, 7-17 August 2019, at CMU. Includes slides from the conference lectures and summer school courses. * [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 * [[Bonn2018]]: Types, Homotopy Type Theory, and Verification, Hausdorff Institute for Mathematics [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