DSV-IS Series Home Page

DSV-IS (Design, Specification and Verification of Interactive Systems) is an international Workshop that has been organised every year since 1994.

The workshop provides a forum for the exchange of ideas on diverse approaches to the design and implementation of interactive systems.

The interest is in the use of formal representations and their role in supporting the design, specification, verification, validation and evaluation of interactive systems. Contributions pertaining to less formal representations of interactive system designs and model-based design approaches are also of interest.

Starting from DSV-IS 2009, the International Workshop on the Design, Specification and Verification of Interactive Systems has been included in the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS).

DSV-IS'94 Monastero Santa Croce, Bocca di Magra, Italy Proceedings 1994
DSV-IS'95 Chateau de Bonas, France Proceedings 1995
DSV-IS'96 Université Notre Dame de la Paix, Namur, Belgique Proceedings 1996
DSV-IS'97 University of Granada, Spain Proceedings 1997
DSV-IS'98 Cosener's House, Abingdon, U.K. Proceedings 1998
DSV-IS'99 Braga, Portugal Proceedings 1999
DSV-IS'00 Limerik, Ireland Proceedings 2000
DSV-IS'01 Glasgow, Scotland Proceedings 2001
DSV-IS'02 Rostock, Germany Proceedings 2002
DSV-IS'03 Madeira Island, Portugal Proceedings 2003
DSV-IS'04 Hamburg, Germany Proceedings 2004
DSV-IS'05 Newcastle-upon-Tyne, UK Proceedings 2005
DSV-IS'06 Dublin, Ireland Proceedings 2006
DSV-IS'07 Salamanca, Spain Proceedings 2007
DSV-IS'08 Kingston, Ontario, Canada Proceedings 2008
DSV-IS'09 Carnegie Mellon University, Pittsburgh, PA, USA Proceedings 2009