This page collects programs, slides, and other resources of homotopy type theory workshops, meetings, and other events.
HoTT/UF workshops
HoTT/UF’20 5-6 Jul 2020, online.
Cortona UniMath school, July 17-23, 2022, Cortona, Italy
ECM Minisymposium two days, sometime between 20-26 June 2021
EPIT April 12-16 2021, Spring School, Fully online.
Memorial conference for Erik Palmgren Postponed, Stockholm, Sweden
Cortona UniMath school, 27-31 July 2020, Cortona, Italy
ICMS sometime between 13-16 July 2020, Braunschweig, Germany
HoTTest conference June 15-19
4th Midwest HoTT Seminar Cancelled.
TYPES Cancelled, but abstracts available.
HoTT2019 Summer school and conference, 7-17 August 2019, at CMU.
Includes slides from the conference lectures and summer school courses.
Leeds The Summer School on Higher Topos Theory and Univalent Foundations will take place from June 24th to June 28th 2019
TYPES Oslo, Norway, 12 - 14 June 2019
6WFTop Mon 8 to Fri 12 April 2019
Geometry in Modal Homotopy Type Theory, CMU, March 11-15, 2019
HoTT in Bonn2018: Types, Homotopy Type Theory, and Verification,
Hausdorff Institute for Mathematics Videos of the talks are available here. The Hausdorff Institute page is here.
HoTT at DMV2015: Homotopy Type Theory and Univalent Foundations at DMV 2015
Last revised on April 25, 2024 at 07:19:18. See the history of this page for a list of all contributions to it.