Showing changes from revision #5 to #6:
Added | Removed | Changed
CMU Summer school and conference, 7 - 17 augustus August 2019
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
EPIT 25-29 Mai 2020
6WFTop Mon 8 to Fri 12 April 2019
Bonn18: Types, Homotopy Type Theory, and Verification.
Videos of the talks are available here. The Hausdorff Institute page is here.
HoTT/UF workshops