5th KeY Symposium 2006

June, 6th - 8th

This symposium is the fifth in a series of workshops held in 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.

Program

• Arrival on Monday, 5-th June
• Tuesday, 6-th June
• Wednesday, 7-th June
• Thursday, 8-th June

Slides

The slides of the KeY Workshop are linked (as far as available) directly from the program .
Summaries of the discussion sessions can be found on the internal webpages (access restricted).

Photos

Coming soon.

Social Activities

Sight-seeing tour

Tuesday, June 6th, 19.15h
Meeting Point: Bistumshaus St. Ludwig

Location

The KeY-Symposium '06 takes place in the about 2000 year old Cathedral-Town Speyer (gallery). We will be accommodated in the house of the deocese St. Ludwig.

Bistumshaus St. Ludwig
Johannesstraße 8
67346 Speyer

Participants and Talks

About 20 participants from Austria, Sweden, Switzerland and Germany.

Registration

For registration please use the internal pages.

Previous KeY Workshops

• 2005 Lökeberg
• 2004 Königswinter
• 2003 Bad Herrenalb
• 2002 Göteborg

Organization

• P.H. Schmitt
• Steffen Schlager
• Richard Bubel