General
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.
Important Dates
Deadline for registration: 18th May
Symposium: 5th – 7th August
Venue
The KeY Symposium takes place in Berlin.
Address
Hochschule für Technik & Wirtschaft
Campus Wilhelminenhof
12459Berlin
Room:
WH Gebäude H 001 (OpenStreetMap)
Travel Information:
We recommend the trams to reach the HTW campus. You can see the tram schedules at bvg.de
To navigate the campus, take a look at the campus map.
Social Event (Hike)
The hike start at 15:00 on the 6th of August. We take the tram from the station HTW/Rathenaustr. (either line 60 or 67) eastwards until Müggelseedamm/Bölschestr.
From there, we will hike to Restaurent Rübezahl.
After the hike, we take the bus (line 169) from Rübezahl to the dinner location. The bus comes every ten minutes, but make sure to catch at 17:37 at the latest and change to tram 27.
Dinner
The social dinner takes place at 18:00 on the 6th of August at Restaurant Köpenicker Seeterrassen. The closest bus/tram stop is Schloßplatz Köpenick.
Talk Registration
Please register your talk using the talk registration form until Monday, June 22nd.
How to participate?
Please, register until Monday, May 18th using the registration form, if you plan to attend the KeY Symposium.
Where to stay?A hotel relatively nearby where some of us stay is ibis Styles Berlin Treptow. Another option a bit further away is B&B Hotel Berlin Adlershof
How to contribute?
We plan with two types of talks for the symposium:
- a standard talk with ca. 25 to 30 min incl. discussion, and
- a short talk 15 min incl. discussions
Depending on time and interest: breakout sessions, panel discussion. More details come later.
Schedule
Arrival day is the 4th August. The scientific programme starts Wednesday, 5th August at 9 a.m.
The detailed schedule can be found here.
Organisation Committee
- Prof. Dr. Thomas Baar: Local Organizer
- Daniel Drodt (TUDa) and Wolfram Pfeifer (KIT): Scientific Program
Previous KeY-Workshop
A list of all recent KeY workshops is available here.