TYPES 2024
30th International Conference on Types for Proofs and Programs, 10 ‑ 14 June 2024
Registration
To register, please follow this link to the registration system.
- Early registration deadline: 13 May 2024 AoE
- Final registration deadline: 30 May 2024 AoE
Registration fees
| Early registration (until 13 May) |
Late registration (until 30 May) |
|
| Regular registration | 2600 | 3100 |
| Student registration | 2000 | 2500 |
| Accompanying person | 550 | 550 |
All fees are in Danish Kroner (DKK) and include VAT.
- The fee for both regular and student registration includes: access to all talks and sessions, coffee breaks, lunches, the welcome reception, a canal boat tour, and the social dinner.
- The fee for accompanying persons includes access to all social events: the welcome reception, a canal boat tour, and the social dinner.
- We will contact participants that are registered as students to confirm their student status.
SPONSORS
HOST
