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:

Program Committee:

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

One Response to HDACT

  1. Pingback: 4WFTop and HDACT « Mathematics and Computation