General
The 2019 KeY symposium marks the 20th Anniversary of the KeY project. 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.
Book
One result of this workshop was the initiative to publish a book about the current state-of-art and future directions of software verification.
We are happy to announce that the book “Deductive Software Verification: Future Perspectives” is now available for at Springer.
Important Dates
Deadline for registration: 1st May [Registration Form]
Symposium: 12th – 15th August
Venue
The KeY Symposium takes place at Chalet Giersch located in the French alps.
Address
Chalet l’Eridan
84 Chemin du Plan du Mont
F – 74230 MANIGOD
How to participate?
Please, register until Wednesday May 1st using the registration form, if you plan to attend the KeY Symposium.
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. discussions
As well as breakout sessions. More details come later.
Schedule
Arrival day is the 12th August. In the evening 18:00 we will have a welcome dinner at the Chalet. The scientific programme starts Tuesday, 13th August at 9 a.m.
The preliminary schedule can be seen here:
Organisation Committee
- Richard Bubel <bubel@cs.tu-darmstadt.de>
Previous KeY-Workshop
A list of all recent KeY workshops is available here.