Showing changes from revision #8 to #9:
Added | Removed | Changed
EPIT 25-29 May 2020
CMU HoTT2019 Summer school and conference, 7 7-17 - 17 August 2019 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
Bonn18 Bonn2018 : Types, Homotopy Type Theory, and Verification. Verification,
Hausdorff Institute for Mathematics Videos of the talks are available here. The Hausdorff Institute page is here.
HoTT/UF workshops