13th KeY Symposium 2014
29th September - 1st October
In 2014 the KeY symposium takes place in its 13th iteration. The KeY System is a formal software development tool that aims to integrate design, implementation, formal specification, and formal verification of object-oriented software as seamlessly as possible. At the core of the system is a theorem prover for the first-order Dynamic Logic of the respective target language, in particular Java, with a user-friendly graphical interface.
The KeY Symposium brings together researchers interested in KeY. The latest achievements concerning KeY related research and the KeY Tool are presented and discussed. Moreover, we will exchange current ideas, discuss the next steps and milestones of the area, as well as future directions in general.
The KeY Symposium is by invitation only.Venue
This year the KeY Symposium takes place in Bühl (at Kloster Maria-Hilf)Group Photograph
Programme
The preliminary programme is available online.Organisation Committee
Bernhard BeckertSimone Meinhart
Sarah Grebing