KeY Symposium 2017

04. October — 06. October, 2017
RASTATT, Germany

Important Dates

30th June [registration form]
Deadline for attendance

1st September [contribution form]
Deadline for contributions


The 2017 KeY symposium takes place in its 16th iteration. The KeY System is a formal software development tool integrating design, implementation, formal specification, and formal verification of object-oriented software. 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 and related aspects. We will exchange recent achievements, current ideas, discuss the next steps and milestones of the area, as well as future directions in general. Also the latest developments in the KeY tool are presented and discussed.


The symposium takes place at the Bildungshaus St. Bernhard in Rastatt under the special protection of St. Bernhard von Baden.

Bildungshaus St. Bernhard – Wohnen & Tagen
An der Ludwigsfeste 50
76437 Rastatt

Rastatt is reachable from Karlsruhe with local trains within an half an hour. The accommodation is a 15 minutes’ walk from the train station in Rastatt

How to participate?

Please, use registration form if you attend at the KeY Symposium until the June, 30th.

How to contribute?

We plan with two types of talks for the symposium:  

  • a standard talk with ca. 30 min incl. discussion, and
  • a short talk 15 min incl. discussion

We are also considering discussion, with a vary time. Please use the contribution form until the 1st of September to register your talk or discussion. If your contribution type does not fit, please contact the organisation committee.


The tentative programme for the upcoming KeY Symposium is available here.

Restaurants for the Second Evening

Google Suche: Restaurants

Group Foto

Recent KeY-Workshop

A list of all recent KeY workshops is available here.

Organisation Committee

  • Sarah Grebing <>
  • Alexander Weigl <>