Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Homotopy Type Theory and Univalent Foundations

Led by Professor Marc Bezem (UiB) and Professor Bjørn Ian Dundas (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