Opening hours
- Office: from 8:30 AM to 5:00 PM
- Service desk: from 9:00 AM to 5:00 PM
Holidays
- Easter: April 13
- King's Day: April 27
- Liberation Day: May 4 and 5
- Ascension: May 21 and 22
- Pentecost: June 1
See also: Servicedesk
See also: Servicedesk