3rd KeY Symposium 2004
June, 7th - 9th
This symposium continues a series of workshops held in Bad Herrenalb (2003) and Gothenburg (2002). Like these previeous meetings, the KeY Symposium 2004 brings together all the researchers who work on or have a serious interest in the KeY approach to integrating formal methods into software engineering.
The latest achievements concerning KeY related research and the KeY Tool will be presented. Moreover, we will exchange current ideas, discuss the next steps and milestones, as well as future directions in general.
Programme
- Sunday, June 6th: Arrival, social programme
- Monday, June 7th, and Tuesday, June 8th: Talks
- Wednesday: Internal discussions, departure
Location
Adam-Stegerwald-Haus, Königswinter
Invited Guests
- Maria Paola Bonacina
- Mads Dam
- Werner Stephan
Participants and Talks
About 35 participants from Sweden, Germany, Italy, and Switzerland.Previous KeY Workshops
Organization
Intranet page for the Workshop