KeY

Home / About

People

Publications

The KeY Book

Download

Teaching

Case Studies &
Tutorials

Address/Contact

Intranet

empty space

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.

Programme

The preliminary programme can be found here.

Call for papers

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@chalmers.se

Important Dates

Abstract submission: 17th June
Author notification: 27th June
KeY Symposium: 26th-27th August

Program committee

  • Wolfgang Ahrendt, co-chair (Chalmers University, Sweden)
  • Bernhard Beckert (Karlsruhe Institute of Technology, Germany)
  • Richard Bubel, co-chair (Chalmers University, Sweden)
  • Reiner Hähnle (Chalmers University, Sweden)
  • Vladimir Klebanov (Karlsruhe Institute of Technology, Germany)
  • Wojciech Mostowski (University of Nijmegen, The Netherlands)
  • André Platzer (Carnegie Mellon University, United States of America)
  • Philipp Rümmer (Uppsala University, Sweden)
  • Peter H. Schmitt (Karlsruhe Institute of Technology, Germany)

Organisation Committee

Wolfgang Ahrendt
Richard Bubel
Ran Ji
Wojciech Mostowski
Gabriele Paganelli

Previous KeY Workshops

Webmaster
06-Jul-2011