HoTT-UF
Homotopy Type Theory and Univalent Foundations
Registration
Registration fee
| Registration fee: | Late registration (after 25 May): | |
| Conference TYPES (11-14 June) | NOK 400 | NOK 1000 |
| Workshop HoTT-UF (12-14 June) | NOK 300 | NOK 750 |
The registration fee includes:
- Entrance to all sessions, regardless of ticket type, for the days the ticket is valid
- Daily lunches
- Coffee breaks
Additional ticket for conference dinner and excursion (NOK 500).
Trouble viewing the registration form?
Centre for Advanced Study
at the Norwegian Academiy of Science and Letters
| Drammensveien 78 0271 Oslo Norway | +47 22 12 25 00 cas@cas.oslo.no |
| Privacy Declaration | Guidelines for Ethics in Research |
 |
 |
 |
 |
 |