Higher Dimensional Type Theory
Tuesday, May 31, 2011, Novi Sad, Serbia
Part of RDP'11
HDTT is CANCELLED
The workshop is on "Higher Dimensional Type Theory", which develops the homotopy-theoretic and higher-categorical analysis of Type Theory; in particular, the models proposed by Vladimir Voevodsky and Awodey & Warren, along with the structural analyses of Garner & Gambino Garner & van den Berg , and Lumsdaine.
Higher dimensional type theory rejects the principle of Uniqueness of Identity Proofs, while accommodating principles such as functional extensionality and the use of (internal) isomorphism as equality on sets.
More information can be found here.