The KeYnote Series


Virtual Series of Talks on Deductive Software Verification


25th June 2021
3:30 PM CEST


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 April 23rd, 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.


DatePresenterTalk Title
04/23/2021Eduard Kamburjan
University of Oslo
KeY-Style Verification for ABS and Hybrid ABS (slides)
05/07/2021Wolfram Pfeifer
Karlsruhe Institute of Technology
Reconstructing Z3 Proofs With KeY (slides)
Florian Lanzinger
Karlsruhe Institute of Technology
Property Types in Java:
Combining Type Systems and Deductive Verification
05/21/2021Richard Bubel
Darmstadt University of Technology
Verification of Smart Contracts in KeY
05/28/2021Dominic Steinhöfel
CISPA Helmholtz Center for Information Security
Ever Change a Running System:
Deriving Conditions for Safe Program Transformation
(video on youtube)
06/11/2021Rosa Abbasi
Max Planck Institute for Software Systems, Kaiserslautern
Verification of Floating Point Programs in KeY
06/25/2021Alexander Knüppel
Technische Universität Braunschweig
Predicting the influence of configuration options in KeY using Guido
07/09/2021Hans-Dieter Hiep
CWI Amsterdam
Reasoning about ADTs in KeY (slides)
07/16/2021Tabea Bordis
Technische Universität Braunschweig
Correctness-by-Construction for Software Product Lines: Current State and Ongoing Work