The KeY Symposium is the annual workshop of the KeY project, where all people involved in KeY come together to discuss recent developments and future directions.
Next event:
Previous KeY Workshops
The KeY Symposium is the annual workshop of the KeY project, where all people involved in KeY come together to discuss recent developments and future directions.
Next event:
Previous KeY Workshops