DSVIS 2002: 9th International Workshop on 
Design, Specification and Verification of Interactive Systems 

             Rostock, Germany, June 12-14, 2002              

DSV-IS 2002

Workshop Programme

Venue

The workshop takes place at an authentic site for the theme, since Rostock is famous for red-clinker-bricked houses. Rostock is located at the Baltic Sea and is easily accessible by road, rail, and air; travel information is available at: http://www.rostock.de

General information at:

http://www.virtualtourist.com/Europe/Germany/Rostock

http://www.deutschland-tourismus.de/e/dest_cities_rostock_e.html

 

Social programme

Saturday June 15th will provide the opportunity for informal discussions about the issues raised during the workshop. The day will be spent by a trip to Kühlungsborn a former village of fishermen located at the Baltic Sea, which is now a place for recreation with its nice beach. It can be reached by a narrow gauge train.

 

Advanced programme

The concrete workshop programme will be announced later.