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).
||Monastero Santa Croce, Bocca di Magra, Italy
||Chateau de Bonas, France
||Université Notre Dame de la Paix, Namur, Belgique
||University of Granada, Spain
||Cosener's House, Abingdon, U.K.
||Madeira Island, Portugal
||Kingston, Ontario, Canada
||Carnegie Mellon University, Pittsburgh, PA, USA