Skip standard banner.
The University of Dublin, Trinity College
Accessibility|A to Z|Search TCD|Privacy
Skip navigation.


Gavin Doherty
Trinity College Dublin

Ann Blandford
University College London

Last Updated:

Conference Overview


Conference: July 26-28, 2006

Photos taken at the workshop are available here.

News: Invited speakers will be Ian Sommerville and Jan Gulliksen

In Co-operation with ACM SIGCHI, Eurographics, the BCS HCI group and IFIP WG 13.5

Interactive systems, the human computer interface and support for collaboration, have always presented significant challenges for designers and developers. Developments in ubiquitous and mobile computing have brought further challenges to interface design. DSV-IS provides a forum where researchers working on model based techniques and tools for the design and development of interactive systems can come together with practitioners and with those working on HCI models and theories.

The XIIIth International Workshop on the Design, Verification and Specification of Interactive Systems provides a venue for researchers and practitioners to present their latest results and developments. Papers are invited on topics that relate the user interface and software engineering, including theory, techniques and tools for the design, development and validation of interactive systems.


Topics of interest include software engineering aspects of user interfaces and user interface tools and techniques :

As applied to:

Submission Categories

Submissions may be made in the following categories:


ACM Logo SIGCHI logo

Eurographics Logo Eurographics

BCS HCI Group Logo

TCD Crest Trinity College Dublin

Back to top

Gavin Doherty and Ann Blandford,