25th International Conference on Types for Proofs and Programs
Registration for the conference will open on XX DATE.
|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:
Additional ticket for conference dinner and excursion (NOK 500).