Homotopy Type Theory Events > history (Rev #27)

• CMU-HoTT Group’s local activities.

Perennial events

• Seminar - Homotopy Type Theory at CMU

• HoTT/UF workshops

Passed

• Previous Seminars - Homotopy Type Theory at CMU

• HoTT/UF’20 5-6 Jul 2020, online.

Other events

• Cortona UniMath school, July 17-23, 2022, Cortona, Italy

Passed

• ECM Minisymposium two days, sometime between 20-26 June 2021

• EPIT April 12-16 2021, Spring School, Fully online.

• Memorial conference for Erik Palmgren Postponed, Stockholm, Sweden

• Cortona UniMath school, 27-31 July 2020, Cortona, Italy

• ICMS sometime between 13-16 July 2020, Braunschweig, Germany

• HoTTest conference June 15-19

• 4th Midwest HoTT Seminar Cancelled.

• TYPES Cancelled, but abstracts available.

• 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.