KeYNote Series

The KeYNote series is a virtual workshop where teams from Germany, the Netherlands, Norway and Sweden (in lexicographic order) take part and present recent work which uses or extends the KeY verification system.

The talks will be held via Zoom. The link will be sent by email to registered participants some time before the first talk. All talks are given in English.

We are looking forward to interesting presentations and discussions.

The current schedule and other information like how to register can be found at the dedicated

 KeYNotes Series webpage