True to form, the weather is giving a very bergensk welcome to our guests at the KeY Symposium!

Volker in front of a presentation
Volker Stolz opening the symposium
Reiner Hähnle in front of a presentation
Reiner Hähnle greeting participants
Screenshot of rainy weather forecast
Rain, rain, rain

We’re looking forward to three days packed full of science!

Mattias Ulbrich
Mattias Ulbrich (KIT) on "Research Software Engineering", among other things
Eva Darulova
Eva Darulova (Uppsala) on Recent Advances in Floating-point Static Analyses. With KeY, of course!
Eva Darulova
Floating-point maths is hard
Group-photo of workshop participants
Group-photo of the workshop participants (photo credit: Siv B. Systad, HVL, Logo of the CC BY-NC-ND license)