HoTT-UF
Homotopy Type Theory and Univalent Foundations
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.
