Call for Papers DSV-IS'2003 10th International Workshop on the Design, Specification and Verification of Interactive systems Hotel Savoy Funchal (Madeira Island) -- Portugal June 4-6, 2003 http://math.uma.pt/dsvis2003 Thematic focus ============== DSV-IS is the annual meeting of the human-computer interaction community interested in all aspects of Design, Specification, and Verification of Interactive Systems. It serves as the principal international forum for reporting outstanding research, development, and industrial experience in this area. The 10th DSV-IS workshop will provide a forum for the exchange of ideas on diverse approaches to the design and implementation of interactive systems. The particular focus of this year's event is on models and their role in supporting the design and development of the next generation of user- interfaces. Today, we are no longer confined to developing user-interfaces for single users interacting with standard desktop applications. Instead, a new wave of computing technologies (wireless communications, ubiquitous computing, information appliances, etc.) enables and motivates a different understanding of interactive system development. Moreover, users and customers are radically changing from technology-savvy early adopters, into convenience-oriented consumers that seek reliability, low-cost and emotionally pleasing user experiences. This poses new challenges for designing the next generation of user-interfaces: - Understanding and capturing the requirements of the new consumer and user community, focusing on marketing and business requirements and striving for convenience, reliability, low-cost and positive effect; - Devising new modeling formalisms, methods and tools that foster communication and accessibility to a widespread design community, in particular people with backgrounds on marketing, business, information architecture, content production, artistic and industrial design. - Developing interactive systems for a broader diversity of computing devices, involving different interaction styles and techniques, distinct input and output devices, and diverse operating contexts (mobile, ubiquitous, pervasive, etc.). Scope ===== We seek high-quality, original papers that address the theory, design, development, ideas, tools, techniques and methods in (but not limited to) the following areas: - Affective, emotional and game based UIs - Multi-modal interaction - Agent-based UIs - Component-based UI development - Development support tools and techniques - Domain specific model-based approaches - Formal description of user related properties - Formal methods in interactive systems development - Front-end interfaces to multimedia, hypermedia, knowledge-based, personalized information and simulation systems - Methods, metrics and tools for computer-aided evaluation of UI - Mobile and ubiquitous interaction - Model-based and task-based approaches to UI design - Model-based Interface Development Environments (MB-IDE) - Models for Novel Interaction Techniques - Models of context of use, specific properties of mobile and ubiquitous usage contexts - Models for context- and situation-aware interactive assistance - Novel Techniques for Interacting with Formal Models - Patterns in HCI: cross-platform, design, globalization, mobility, and usability. - Pattern languages - User interface architectures - UI management systems (UIMS) - UI for virtual/augmented/mixed reality - UML and HCI Submissions =========== Papers written in English are solicited for presentations as talks both in long and short formats. Long submissions are limited to 15 pages in length, with the main body set in a 12-point font. Short position papers can have up to four pages in length. Final papers should contain title, authors' names and affiliations, abstract, keywords, text, illustrations and references. They should highlight both the general scientific contribution of the research and its practical significance. The conference will consist of an oral presentation of the papers, along with discussion. Authors should follow the formatting instructions at: http://www.springer.de/comp/lncs/authors.html Papers will be double-blindly refereed. Selection will be based upon technical and scientific content and relevance to the workshop. For this purpose, submit an anonymous version where all names, contact information, references, names of personal projects and any hints indicating the authors are removed. The Program Committee may not accept a submission containing such hints. Complete proceedings will include all papers accepted for the workshop. Selected revised long papers will be included in the final proceedings, to be published by Springer Verlag Lecture Notes in Computer Science series . Important Dates =============== All Submissions: March 2, 2003 Review notification: April 11, 2003 Final submissions: May 18, 2003 Send submissions to Program Committee Chair including a complete paper version and an anonymized version which does not contain any references to authors. PDF (*strongly* encouraged), PostScript, Word and RTF formats are accepted by decreasing order of preference. Organization ============ Workshop Chair Nuno Jardim Nunes, Univ. da Madeira, Portugal Workshop Co-Chair João Falcão e Cunha, FEUP, Porto, Portugal Program Committee Chair Joaquim Jorge, IST, Lisboa, Portugal Program Committee ================= Ahmed Seffah, Concordia Univ. Montreal, Canada Angel R. Puerta, Red Whale Software, USA Bodo Urban, Fraunhofer IGD Rostock, Germany Charles Wiecha, IBM New York, USA Chris Johnson, Univ. Glasgow, UK Christian Märtin, FH Augsburg, Germany David Duce, Oxford Brookes University, UK Ephraim Glinert, National Science Foundation, USA Eric G. Nilsson, SINTEF Telecom and Informatics, Norway F. Mário Martins, Univ. Minho, Portugal Fabio Paterno, ISTI-C.N.R., Italy Henry Lieberman, MIT Media Lab., USA Jaelson Castro, Univ. Federal de Pernambuco, Brazil Jan Gulliksen, Univ. Uppsala, Sweden Jean Vanderdonckt, Univ. Louvain-La-Neuve, Belgium João Falcão e Cunha, FEUP - Univ. do Porto, Portugal Joëlle Coutaz, Univ. Grenoble, France Kevin Schneider, Univ. Sasketchewan, Canada Mary Beth Rosson, Virginia Tech, USA Mark van Harmelen, Cutting Edge Systems, UK Matthias Rauterberg, Univ. Eindhoven, The Netherlands Michael Harrison, Univ. York, UK Miguel Gea Megías, Univ. Granada, Spain Nicholas Graham, Queen's University, Canada Nuno Correia, Univ. Nova de Lisboa, Portugal Nuno Jardim Nunes, Univ. da Madeira, Portugal Oscar Pastor López, Univ. Politécnica de Valencia, Spain Panos Markopoulos, Univ. Eindhoven, The Netherlands Pavel Slavik, Univ. Prague, Czech Republic Peter Forbrig, Univ. Rostock, Germany Peter Johnson, Univ. Bath, UK Philippe Palanque, LIIHS-IRIT Univ. Paul Sabatier, France Robert Jacob, Tufts University, USA Thomas Kirste, Fraunhofer Gesellschaft, Germany