25th International Conference on Types for Proofs and Programs
The organisers are working to arrange special offers on hotels for participants of TYPES 2019 and HoTT-UF.
From the airport you can take the airport express to Oslo Central Station. It will cost approximately 20€. From here, you can easily find busses, trams, metros and taxis to take you to your hotel.
You can also travel by taxi from the airport, but it will cost approximately 75€.