Showing changes from revision #4 to #5:
Added | Removed | Changed
CMU Summer school and conference, 7 - 17 augustus
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
Revision on December 21, 2018 at 13:37:43 by Bas Spitters. See the history of this page for a list of all contributions to it.