THE KeYnote SERIES
Virtual Series of Talks on Deductive Software Verification
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.
|10/22/2021||Asmae Heydari Tabar|
Technical University of Darmstadt
|Automatic Loop Invariant Generation for Data Dependence Verification|
|Experiences: Teaching KeY in China|
|11/19/2021||Stijn de Gouw|
|Specifying and verifying IdentityHashMap with hybrid analysis|
Previous seasons see next pages