KeY Symposium 2018

13 August — 15 August, 2018
Göteborg, Sweden

Important Dates

4th July [Registration Form]

Deadline for registration



Program of Symposium

The 2018 KeY symposium marks its 17th iteration and this year the symposium makes its return to Göteborg, Sweden. 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 Chalmersska huset, also known as The house of William Chalmers).

Chalmersska Huset 
Södra Hamngatan 11,  
411 14 Göteborg

Chalmersska Huset is within walking distance from Göteborg central station. 

Chalmersska huset

How to participate?

Please, use the registration form if you plan to attend the KeY Symposium until Wednesday July 4th.

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

Aside from presentations, we also plan to organise breakout sessions: 

  • suggestions for breakout session topics


The schedule of the symposium can be found here.


Symposium Dinner (August 13)

The symposium dinner will be at Hello Monkey Magasinsgatan (Magasinsgatan 26)

It is within walking distance (5 minutes) from the Chalmers huset and the closest tram stop is called Gronsakstorget.


Göteborg Culture Festival (August 14 - 19)

We will have the chance to participate in one of the largest culture festivals of Scandinavia during the symposium period. Gothenburg Culture Festival is a wonderful chance to explore the city with more than 1000 things to do, see, and listen to.



Please note that the symposium location does NOT provide accommodation.
You are on your own to organise accommodation. For that, we recommend
the usual internet platforms. In addition, for cheaper accommodation for
(PhD) students, we recommend:

For choosing a place to stay, it is good to know the exact location of
the symposium. You find that here:

Please book soon, as Gothenburg is a popular place in the summer, and
has a relative shortage of hotels.


Organisation Committee


Program Committee

Previous KeY-Workshop

A list of all recent KeY workshops is available here.