[[!redirects Events]] * [ECM Minisymposium](https://www.8ecm.si/minisymposia) two days, sometime between 20-26 June 2021 * [EPIT](https://epit2020cnrs.inria.fr) 19-23 Oct 2020, Autumn School, France * [Memorial conference for Erik Palmgren](http://logic.math.su.se/palmgren-memorial/) Postponed, Stockholm, Sweden * [Cortona](https://unimath.github.io/cortona2020/) UniMath school, 27-31 July 2020, Cortona, Italy * [ICMS](https://univalent-math.github.io/) sometime between 13-16 July 2020, Braunschweig, Germany * [HoTT/UF'20](https://hott-uf.github.io/2020) 5-6 Jul 2020, online. * [HoTTest conference](https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest_conference_2020.html) June 15-19 ### Passed ### * [4th Midwest HoTT Seminar](https://paigenorth.github.io/midwesthott/) Cancelled. * [TYPES](https://types2020.di.unito.it/) Cancelled, but abstracts available. * [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