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?
