KeY Symposium 2017

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.

Venue

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.

Programme

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

Restaurants for the Second Evening

• Pagodenburg

  Das Lokal am Wasserturm mit Terrasse und Blick auf die Burg serviert fantasievolle deutsche Küche und Torten.

  Adresse: Kapellenstraße 34, 76437 Rastatt

• Linde Brauereigaststätte

  Kapellenstraße 2, 76437 Rastatt

• Hopfenschlingel

  Militärstraße 2, 76437 Rastatt

• Lehner’s Wirtshaus Rastatt

  Adresse: Am Schloßpl. 2/2, 76437 Rastatt

Google Suche: Restaurants

Group Foto

Recent KeY-Workshop

A list of all recent KeY workshops is available here.

Organisation Committee

• Sarah Grebing <grebing@ira.uka.de>
• Alexander Weigl <weigl@kit.edu>