TYPES 2019
25th International Conference on Types for Proofs and Programs
Venue
The conference will be held at Ingeniørenes Hus Møtesenter, located centrally in Vika in Oslo.
Arriving by public transport is easy, but as there are many alternatives. We recommend planning you transit by using Ruter journey planner.
If you are traveling by car, parking is available at Europark Vestre Vika P-hus in Munkedamsveien.
