Getting there

© UIO/Francesco Saggio

The symposium will be held in the Ole-Johan-Dahl building on the main campus of the University of Oslo.

Metro (T-bane)
From Jernbanetorget (Oslo Central Station) you can take line 3 (Sinsen), line 4 (Storo/Ringen) or line 6 (Sognsvann). Disembark at Forskningsparken station. See ruter.no for more information.
From the station in Ullevål Stadion you can take lines 3 (Mortensrud), 4 (Bergkrystallen), or 6 (Ringen). Disembark at Forskningsparken (one stop). See ruter.no for more information.

Tram (trikk)
Line 17 or 18 from the stop, Stortorvet (by Glassmagasinet) direction to Rikshospitalet. Disembark at Forskningsparken stop. See ruter.no for more information.

Bus
Line 23 between Lysaker and Simensbråten (Ekeberg) stops at Ringveien. Disembark at Gaustad (in Store Ringvei). See ruter.no for more information.

Car
Turn of Store ringvei by the exit towards the Rikshospitalet University Hospital. Arrival from the west: turn left in the first and the second roundabout. Drive uphill and take the first exit to the left. You are now in Gaustadalleén, and Ole-Johan Dahls Building is on your lefthand side, approximately 500 metres further down the road. Arrival from the east: follow the second exit after the Tåsen tunnel. Follow the second exit from the roundabout (slightly to the left). Drive uphill and take the first exit to the left. You are now in Gaustadalleén, and Ole-Johan Dahls Building is on your lefthand side, approximately 500 metres further down the road.

Airport express train (Flytoget)
If you use the Airport express train, disembark at Oslo Central station (Oslo Sentralstasjon / Oslo S). Then switch to the metro or tram to get to the venue. Please see above for further information.

Train (tog)
If you travel by train (NSB), Oslo Central Station disembark at Oslo Central station (Oslo Sentralstasjon / Oslo S). Then switch to the metro or tram to get to the venue. Please visit NSB for further information about train departures. NSB is cheaper than Flytoget, but not as frequent.

20th International Symposium on Formal Methods