Design, Specification and Verification of Interactive Systems: DSV-IS 2006
Final and updated Call for Papers
July 26-28, 2006, Trinity College, Dublin, Ireland.
In Co-operation with ACM SIGCHI, Eurographics, the BCS HCI group and
IFIP WG 13.5
Submission Deadline: February 24, 2006
(Electronic submission now open)
Full details of call are available on http://www.dsvis2006.org
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
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
* 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
Authors should follow the formatting instructions at:
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)
* 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, UCD 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.
* Laurence Nigay, Universite Joseph Fourier, Grenoble, France.
* 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.
For further information contact Gavin Doherty, Trinity College Dublin,
[log in to unmask]
To unsubscribe, send an empty email to
mailto:[log in to unmask]
For further details of CHI lists see http://sigchi.org/listserv