HDACT

Download Workshop Booklet

Workshop on Higher Dimensional Algebra, Categories and Types

The Workshop on Formal Topology will be followed on June 20 by a one-day workshop on Higher Dimensional Algebra, Categories and Types.

The importance of higher dimensional structure for mathematics and computer science has been recognized for a long time. However, recent connections between homotopy theory and type theory have spurred new activity that is connecting previously unrelated topics. The workshop will be a place for meeting and dissemination of ideas between researchers from different areas who all use higher dimensional structures.

A preliminary programme is available.

Invited speakers:

• Thorsten Altenkirch
• Steve Awodey
• Emily Riehl

Program Committee:

• Nicola Gambino
• Neil Ghani
• Zhaohui Luo
• Erik Palmgren
• Randy Pollack
• Urs Schreiber
• Bas Spitters
• Thomas Streicher

There will be no separate post-proceedings for HDACT, as there is already an excellent venue for such papers: the MSCS special issue “From Type Theory and Homotopy Theory to Univalent Foundations”.