Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Oslo, Norway, 12 - 14 June 2019

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

LOGO
Address:
Drammensveien 78
0271 Oslo
Norway
 
Phone:
+47 22 12 25 00
 
E-mail:
cas@cas.oslo.no
Office hours:
09.00 - 14.45