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 Programme
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 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 with 15 min incl. discussion
We are also considering discussions, with varying times. 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

Google Search: Restaurants

Group Photo

Previous KeY Workshops

A list of all previous KeY workshops is available here.

Organisation Committee

  • Sarah Grebing <grebing@mail.informatik.kit.edu>
  • Alexander Weigl <weigl@kit.edu>