Homotopy Type Theory and Univalent Foundations combines ideas and techniques from algebraic topology, logic, higher categories and computer science. As a fairly young subject it is still under dramatic development and sees vibrant activity.
The workshop aims at bringing together researchers spanning the width of the field, complementing the concurrent TYPES conference with which it will share some plenary sessions.
The workshop is organised jointly by the Centre for Advanced Study (CAS) at the Norwegian Academy of Science and Letters and the University of Bergen (UiB). With financial support from Academia Europaea Knowledge Hub Region Bergen.