12th KeY Symposium 2013
30th September - 2nd October
In 2013 the KeY symposium takes place in its 12th 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 Lörrach (at Parkhotel David) located at the "Dreiländereck" (tri-border region) of Germany, France and Switzerland.Group Photograph
Programme
The programme is now available.Organisation Committee
Bernhard BeckertSimone Meinhart
Sarah Grebing