HoTT-UF
Homotopy Type Theory and Univalent Foundations
Contact
Organisers
We ask that you send all questions and comments to the organisers via email:
Venue
- Address: Kronprinsens gate 17, 0251 Oslo
We ask that you send all questions and comments to the organisers via email:
| Drammensveien 78 0271 Oslo Norway | +47 22 12 25 00 admin@cas-nor.no |