The KeYnote Series


Virtual Series of Talks on Deductive Software Verification


25th February 2022
3:30 PM CET


You will receive a Zoom invitation after free registration.

The KeYnote event series is a timely distributed, virtual workshop taking place every two weeks in summer 2021. It reports on research results, ideas and projects in the area of deductive software verification, mostly in the context of the KeY project. The KeYnote series is open to anyone interested in static, logic-based program verification.

KeYnote sessions will take place (usually) bi-weekly, starting from October 22nd, 2021. Each session starts at 3:30 PM CEST and takes approximately one hour. You find the current program below.

To join, please register using this form. Registration is free. After you registered, you will be sent a Zoom link.

For updates you can also follow us on Twitter: @TheRealKeYNotes / #KeYnotes2021.


Winter 2021/2022

DatePresenterTalk Title
10/22/2021Asmae Heydari Tabar
Technical University of Darmstadt
Automatic Loop Invariant Generation for Data Dependence Verification
11/05/2021Wojciech Mostowski
Halmstad University
Experiences: Teaching KeY in China
11/19/2021Stijn de Gouw
Open University
Specifying and verifying IdentityHashMap with hybrid analysis
01/14/2022Marco Scaletta
Technical University of Darmstadt
Delta-based verification of software product families
02/25/22Mattias Ulbrich
Karlsruhe Institute of Technology (KIT)
Inferring Interval-Valued Floating-Point Preconditions

Previous seasons see next pages