TYPES 2024
30th International Conference on Types for Proofs and Programs, 10 ‑ 14 June 2024

Conference venue

TYPES 2024 will be located at the IT University of Copenhagen. All talks are held in Auditorium 0 on the ground floor. The registration desk can be found on the ground floor right across from the information desk.

Further below you can find information on how to reach the university, how to travel to Copenhagen, and accommodation options.

How to reach IT University

Entrance of IT University of Copenhagen
Entrance of IT University of Copenhagen.

IT University is easily reachable by metro, bike, foot or car. Almost everybody speaks English fluently, thus do not hesitate to ask for directions in case you are confused. In general, public transport and biking are the preferred ways of transportation. These are heavily used by the locals, and safe to use.

By metro

The closest metro station is DR Byen. The Copenhagen metro system has four lines. To reach IT University, you must take the M1 line towards Vestamager if coming from the city centre and get off at DR Byen. Walk near the canal and pass the big building (DR - the Danish Broadcasting Corporation) and once you reach the first street (Kaj Munks Vej) the IT University building is on the right.

Tickets can be purchased from all metro stations (but not bus stops!) using credit/debit cards or using Android and iOS apps.

By bike

Copenhagen is renowned for its extensive bike paths. IT University can be easily reached by bike from anywhere. The bike can be parked either in the building's basement (which is locked between certain hours), or just outside the building like many people do. Make sure you follow the cycling rules and have proper bike lights if you intend to bike in Copenhagen.

Many hotels have bike rentals, so please check with them in case you wish to rent a bike.

Copenhagen has an extensive bike sharing program. The bikes can be rented and parked in many places (including around ITU) using their app.

Travelling to Copenhagen

By train

Copenhagen can be easily reached by train either from Germany or from Sweden. There are multiple direct trains from these countries to Copenhagen, and the train station is centrally located, making it easy to quickly access any part of the city.

By plane

Copenhagen is very well-connected to many cities in Europe as well as to North America and Asia. There are direct flights from Toronto, New York, Boston, Washington, San Francisco, Chicago, as well as Tokyo, Bangkok and many others. From the airport, it takes DKK 30 and 15-20 minutes by metro to reach the city centre of Copenhagen. IT University is easily reached from the airport in 20-30 minutes.

By car

Denmark can be reached either on land or by taking a ferry from Germany. Note that there is no free parking at the venue. It is best to arrange parking with your hotel if planning to come by car. Otherwise, the car park in front of the building is charged per hour.

Taxis

Taxis are good quality and easily accessible at the airport. The trip from the airport to the city costs around DKK 300-350. All taxis accept major credit cards.

Accommodation

We have reserved a number of rooms in the hotels listed below. Note the deadlines for making a booking.

Wakeup Copenhagen Bernstorffsgade

Use this booking link to book a room at the prices listed below:

  • Single room: DKK 885 per night
  • Double room: DKK 1080 per night

Deadline: 9 May

After the deadline, a small number of rooms may still be available until 24 May. Use the booking link to check whether rooms are still available.

Cabinn Metro

Use the booking code BLKITUNIV on the hotel's website to book a room at the prices listed below:

  • Standard Single: DKK 558 per night
  • Standard Double: DKK 684 per night
  • Commodore Single: DKK 621 per night
  • Commodore Double: DKK 747 per night
  • Breakfast: DKK 99 per person

Deadline: 9 May

SPONSORS




HOST