8th KeY Symposium 2009
May, 18th - 20th
This symposium is the eighth in a series of workshops held in Gothenburg (2008), Nomborn (2007), Speyer (2006), Lökeberg (2005), Königswinter (2004), Bad Herrenalb (2003) and Gothenburg (2002).
The KeY Symposium brings together all the researchers who work on or have a serious interest in the KeY approach to integrate 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.
Participation is on invitation only.
Participants and Talks
About 35 participants from Germany, Sweden, England, France, the Netherlands, and Switzerland.Programme
Slides of the presentations
- Arrival on Sunday, 17th May and on Monday, 18th May
- Programme starts at 10:00 on Monday, 18th May
- Programme ends around noon on Wednesday, 20th May
Location / How to Get There
The KeY-Symposium '09 takes place in the about 2000 year old Cathedral-Town Speyer (gallery). We will be accommodated in the house of the deocese St. Ludwig. Travel directions.
Previous KeY Workshops
- 2008 Göteborg
- 2007 Nomborn
- 2006 Speyer
- 2005 Lökeberg
- 2004 Königswinter
- 2003 Bad Herrenalb
- 2002 Göteborg