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 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.
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/zC5LzsHUDKmPlease book soon, as Gothenburg is a popular place in the summer, and has a relative shortage of hotels.
