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).