The KeY Symposium brings together researchers interested in KeY and related aspects. We will exchange recent achievements, current ideas, discuss the next steps and milestones of the area, as well as future directions in general. Also the latest developments in the KeY tool are presented and discussed.
This year the KeY Symposium takes place from the 5th August to 8th August in Manigod, France.
For more information follow this link
