EPIT 25-29 May 2020
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
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/UF workshops
Revision on January 22, 2020 at 22:45:42 by Bas Spitters. See the history of this page for a list of all contributions to it.