11th KeY Symposium 2012
July 22-25
In 2012 the KeY symposium takes place in its 11th 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 at Chalet Giersch located in the French alps.Programme
The preliminary programme is available.Organisation Committee
Reiner HähnleGudrun Harris
Martin Hentschel
Ran Ji
Richard Bubel