04. October — 06. October, 2017
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
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.
ProgrammeThe tentative programme for the upcoming KeY Symposium is available here.
Restaurants for the Second Evening
Das Lokal am Wasserturm mit Terrasse und Blick auf die Burg serviert fantasievolle deutsche Küche und Torten.
Adresse: Kapellenstraße 34, 76437 Rastatt
Kapellenstraße 2, 76437 Rastatt
Militärstraße 2, 76437 Rastatt
Lehner’s Wirtshaus Rastatt
Adresse: Am Schloßpl. 2/2, 76437 Rastatt
Recent KeY-WorkshopA list of all recent KeY workshops is available here.
- Sarah Grebing <firstname.lastname@example.org>
- Alexander Weigl <email@example.com>