2011 - 10th KeY Symposium 2011

10th KeY Symposium 2011

August 26-27

In 2011 the KeY symposium takes place in its 10th iteration. For the first time the KeY Symposium is hold in conjunction with:

2nd International conference on Interactive Theorem Proving, ITP 2011
Nijmegen, The Netherlands

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.

We invite everyone to submit an extended abstract about her/his work on or with KeY. Possible topics (but not limited to) are

theoretical or conceptual advances,
implementation of new features,
applications,
case studies and
experience reports (teaching or otherwise)
that have a direct relation to KeY. The extended abstract should consist of maximal 2 pages describing the contribution of the work. At least one of the co-authors of accepted abstracts is expected to participate at the symposium and to present the work.
The extended abstracts will be reviewed.

Submission via: EasyChair
Contact: ahrendt-AT-chalmers.se