13 August — 15 August, 2018
Göteborg, Sweden
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.
Venue
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.
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
Schedule
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.
Accommodation
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:
https://www.hostelbookers.com/search/city/1530/arr/2018-08-12/ngt/3/ppl/1/
For choosing a place to stay, it is good to know the exact location of
the symposium. You find that here:
https://goo.gl/maps/zC5LzsHUDKm
Please book soon, as Gothenburg is a popular place in the summer, and
has a relative shortage of hotels.
Organisation Committee
- Wolfgang Ahrendt <ahrendt@chalmers.se>
- Jesús Mauricio Chimento <chimento@chalmers.se>
- Jeff Yu-Ting Chen <yutingc@chalmers.se>
Program Committee
- Mattias Ulbrich <ulbrich@kit.edu>
- Michael Kirsten <kirsten@kit.edu>
Previous KeY-Workshop
A list of all recent KeY workshops is available here.