EPIT 25-29 Mai 2020
CMU Summer school and conference, 7 - 17 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
6WFTop Mon 8 to Fri 12 April 2019
Geometry in Modal Homotopy Type Theory, CMU, March 11-15, 2019
Bonn18: Types, Homotopy Type Theory, and Verification.
Videos of the talks are available here. The Hausdorff Institute page is here.
HoTT/UF workshops
Revision on December 21, 2018 at 14:35:57 by Ulrik Buchholtz. See the history of this page for a list of all contributions to it.