KeY Symposium 2023

8.-10. Aug. 2023, Høgskulen på Vestlandet (HVL), Bergen, Norway

Bergen

Venue:Room M130, K2-building HVL, campus Kronstad (OpenStreeMap-link)
The campus is conveniently located at the “Kronstad”-stop of both tram lines and also easily reachable directly from the airport.

Accommodation: different options/price ranges either downtown (check for hotels close to the railway station and Byparken so that you’re close to the tram) or around Danmarksplass (one stop by tram or a brisk walk).

Registration: If you are interested to participate, please fill out the following registration form until Monday, May 15th.

Detailed schedule: tbd — tentative plan is to start on Tuesday morning.

Local organization: Volker Stolz (HVL), Violet Ka I Pun (HVL), Crystal Chang Din (UiB)

Previous editions