7th KeY Symposium 2008
June, 4th - 6th
This symposium is the seventh in a series of workshops held in 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 by invitation only.
Participants and Talks
We expect around 25 participants from several countries.Program
The program is now online.Location / How to Get There
The KeY Symposium 2008 takes place in Gothenburg. It will be located at Chalmers University. The Symposium will take place here.
Accommodation
Below you find an incomplete list of possible accommodations. If you
need assistance, we will be glad to help you. Prices are per night and
without warranty.
Hotels
Poseidon
The hotel is placed near to Chalmers.
Price (Single Room): 980 SEK (weekdays) or 725 SEK
(weekend) per night
You can get a discount on this price, if you book about us. In this
case please send a mail to Richard Bubel (bubel@cs.chalmers.se)
Hotel website: www.hotelposeidon.com
Panorama
If you book this hotel via www.venere.com,
you can get it at the moment for 562 SEK per night.
Hotel Website: www.panorama.se
Mornington
Price for a single room is at the moment from 1350 SEK per night.
Hotel Website: www.mornington.se/m927.asp
Bed & Breakfast
Hotel Nice
Price (Single Room): fr. 425 SEK (Shower/WC in corridor) or fr. 695 SEK
(shower/WC in room)
More information: www.hotelnice.se
Eklanda B&B
Price (Single): fr. 490 SEK
More information: Eklanda B&B
Youth Hostel: Slottskogen
Depending on kind of room and member/non-membership in IYHF: 125 SEK-300 SEK
More information: Youth Hostel Slottsskogen
Youth Hostel: Stigbergsliden
Depending on kind of room and member/non-membership in IYHF: 150 SEK-325 SEK
More information: Youth Hostel Stigbergsliden