Homotopy Type Theory Events > history (Rev #11, changes)

Showing changes from revision #10 to #11: Added | Removed | Changed

• HoTT/UF’20

• EPIT 25-29 May 2020

• Memorial conference for Erik Palmgren Thu/Fri 7–8 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