The KeYnote Series

THE KeYnote SERIES

Virtual Series of Talks on Deductive Software Verification

NEXT EVENT

TBA

HOW TO ACCESS

TBA

SOCIAL

#KeYnotes2021

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.

Currently, we are still in the early organization process. Come back to this page for up-to-date information or follow us on Twitter: @TheRealKeYNotes / #KeYnotes2021.