Design, Specification and Verification of Interactive Systems: 2006
 Call for Papers

July 26-28, 2006, Trinity College, Dublin, Ireland.

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

Submission Deadline: February 24, 2006

Full details of call are available on http://www.dsvis2006.org

Themes
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 :
    * 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

Publication of proceedings:
Selected revised papers will be included in the final proceedings to be
published by Springer Verlag in the Lecture Notes in Computer Science series.

Authors should follow the formatting instructions at:
http://www.springer.de/comp/lncs/authors.html

Submissions may be made in the following categories:
    * full papers (up to 14 pages)
    * short position papers (up to 6 pages).
    * practical experience reports (6 pages).
    * tool papers (6 pages)

Program Committee
    * Rémi Bastide, University Paul Sabatier, Toulouse, France.
    * Ann Blandford, UCL, England.
    * Jose Campos, University of Minho, Portugal.
    * Anke Dittmar, University of Rostock, Germany.
    * Alan Dix, University of Lancaster, England.
    * Simon Dobson, University College Dublin, Ireland.
    * Gavin Doherty, Trinity College Dublin, Ireland.
    * Peter Forbrig, University of Rostock, Germany.
    * Nicholas Graham, Queen's University, Canada.
    * Michael Harrison, University of Newcastle, England.
    * Chris Johnson, University of Glasgow, Scotland.
    * Joaquim Jorge, INESC-ID, Lisbon, Portugal.
    * Rick Kazman, SEI, Carnegie Mellon University, U.S.A.
    * Panos Markopoulos, Eindhoven University of Technology, Netherlands.
    * Mieke Massink, CNR, Pisa, Italy.
    * Philippe Palanque, University Paul Sabatier, Toulouse, France.
    * Fabio Paterno, CNR, Pisa, Italy.
    * Chris Roast, Sheffield-Hallam University, England.
    * Kevin Schneider, University of Saskatchewan, Canada.
    * Alistair Sutcliffe, University of Manchester, England.
    * Harold Thimbleby, University of Swansea, Wales.

Contact:
For further information contact Gavin Doherty, Trinity College Dublin,
Gavin.Doherty@cs.tcd.ie