Full Call for papers
The XIII International Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 2006)
Trinity College Dublin, Ireland, July 26-28, 2006

Submission Deadline (extended): March 3, 2006

In Co-operation with ACM SIGCHI, 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.

Recently, there has been a resurgence in interest in model based techniques as they can help us to manage the diversity of platforms and interaction styles, ensuring systems are reliable and usable. Techniques are required that can be used to specify, build and verify such systems taking account of the fact that users are using a variety of mobile and pervasive technologies in a range of environments. While researchers in HCI have continually proposed and refined theories and models to account for user behaviour and needs, there is always a requirement to forge a link between these theories and the challenges thrown up by changes in technology.

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
Topics of interest include software engineering aspects of user interfaces and user interface tools and techniques :

    * Software architectures
    * Development processes
    * Model based design
    * Usability requirements
    * Software engineering models in HCI (including formal models, UML)
    * HCI models; e.g. context, user, task, domain
    * Verification and Validation
    * Specification of Interactive Systems

As applied to:

    * Interfaces for mobile devices
    * Ubiquitous interactive systems
    * Multimodal user interfaces
    * Interfaces for groupware
    * Information visualization and navigation
    * Virtual reality, augmented reality
    * Adaptive and customizable systems
    * Interfaces for multiple devices
    * Safety critical interfaces, including cockpits and command&control workstations
    * Incident and accident analysis, investigation and modelling

Submission Categories

Submissions may be made in the following categories:

    * full papers (up to 14 pages in Springer Lecture Notes format)
    * short position papers (up to 6 pages) which can be used to report on preliminary results of ongoing research.
    * practical experience reports (6 pages) which should describe an experience or a case study, such as the design and deployment of an actual system.
    * tool papers (6 pages) which should concern a software tool for designing or developing user interfaces. Full paper submissions can also consider tools.

The title page of each submission should include a 150-word abstract, up to five keywords, authors' names and address and include a line specifying the submission category in addition to the specified number of pages. The full mailing list address, phone, fax and email address of the corresponding author should be specified.

Publication of Proceedings
DSVIS Proceedings
	The proceedings will be published as a Springer LNCS volume, as in previous years. The quality of the accepted papers is indicated by an acceptance rate of under 30% for DSVIS in 2005.