[General] CFP: Design, Specification and Verification of Interactive Systems: 2006

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(a)cs.tcd.ie