9th KeY Symposium 2010
May, 25 - 27th
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 30 participants from Germany, Sweden, and the Netherlands.Detailed Programme (with presentation slides)
Group Photo
Location / How to Get There
The KeY-Symposium '10 takes place in Gernsbach in the beautiful Black Forest. We will be accommodated at the Paper Centre, the vocational training center of German papermakers. Travel directions.
Previous KeY Workshops
- 2009 Speyer
- 2008 Göteborg
- 2007 Nomborn
- 2006 Speyer
- 2005 Lökeberg
- 2004 Königswinter
- 2003 Bad Herrenalb
- 2002 Göteborg