Showing changes from revision #24 to #25:
Added | Removed | Changed
HoTT/UF workshops
ECM Previous Minisymposium Seminars - Homotopy Type Theory at CMU 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
HoTT/UF’20 5-6 Jul 2020, online.
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.
HoTT/UF workshops
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.