Accepted Workshops
Workshop 1: Formal Methods in Human-Computer Interaction
This workshop aims to gather active researchers and practitioners in the field of formal methods in the context of user interfaces, interaction techniques, and interactive systems. The main objectives are to look at the evolutions of the definition and use of formal methods for interactive systems since the last book on the field nearly 20 years ago and also to identify important themes for the next decade of research. The goals of this workshop are to offer an exchange platform for scientists who are interested in the formal modeling and description of interaction, user interfaces, and interactive systems and to discuss existing formal modeling methods in this area of conflict. Participants will be asked to present their perspectives, concepts, and techniques for formal modeling along one of two case studies – the control of a nuclear power plant and an air traffic management arrival manager.
Organisers: Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque
Contact | Website
Workshop 2: Large-scale and model-based Interactive Systems: Approaches and Challenges
Pervasive and ubiquitous computing introduce a new quality of interaction both into our lives and into software engineering. This has led into an unprecedented interest in implying the full potential of the human body’s sensory and motor systems for multi-modal interactivity, manifested by new market initiatives for motion gestures, brain-computer interfaces, multi-touch devices, etc. Whilst this new Post-WIMP interaction paradigm provides rich interaction possibilities and fertile ground for innovation, its increasing popularity imposes new critical challenges for the adoption of interaction techniques in real-world ambient spaces. Software becomes increasingly dynamic, requiring frequent changes to system structures, distribution and behaviour. The aforementioned needs and challenges are mainly caused by increased user mobility, increased heterogeneity of available interaction resources, and increased diversity of physical abilities (i.e., diversity of user population).
This workshop discusses various approaches and challenges to handle these challenges to support flexible, context-aware and interactive spaces. We put special focus on promising approaches for coping with dynamics and uncertainties inherent to interactive ubiquitous systems, particularly model-based interaction at runtime and large-scale interaction ensembles (i.e., combining and adapting multiple interactions at runtime).
The workshop will be held as a full day workshop and aims to provide a forum for discussing new ideas, issues and approaches. It will include a keynote speech, presentation of participants' contributions and various forms of interactive discussions concerning the presented topics.
Organisers: Ronny Seiger, Bashar Altakrouri, Thomas Schlegel, Andreas Schrader
Contact | Website
Workshop 3: Engineering Interactive Systems with SCXML
The workshop will provide a forum to discuss submissions detailing the use of SCXML, in particular, multi-modal dialog systems adhering to the concepts outlined by the various W3C standards in general and related approaches of declarative dialog modeling to engineer interactive systems. We are interested in tooling such as implementations or tools to ease the development with SCXML as well as usages in interactive systems.
The goal is to attract a wide range of submissions related to the declarative modeling of interactive multi-modal dialog systems to leverage the discussion and thus to advance the research of modeling interactive multi-modal dialog systems. To stimulate discussion between the workshop participants we plan a poster and demo session to spark further in-depth discussions on selected topics that will be collected during the workshop.
Organisers: Dirk Schnelle-Walka, Stefan Radomski, Jim Barnett, Max Mühlhäuser
Contact | Website
Workshop 4: Systems and Tools for Cross-Device Interfaces
The goal of the workshop is to bring together leading and upcoming systems researchers in the area of cross-device interfaces and define a research agenda together. To foster discussion among participants, the idea for this workshop is to have a hands-on and demo-heavy event to which participants can actively contribute by showing and discussing their research prototypes related to the topic. The workshop will be structured into two parts. In the first part, a particular focus will be on demonstrations and discussions of existing systems and tools that have been developed, or are currently still under development, with the goal of supporting cross-device user interfaces. The second part will then be a discussion moderated by the organisers to identify the key issues and important future directions with the goal of defining a common research agenda.
Organisers: Michael Nebeling, Fabio Paternò, Frank Maurer, Jeffrey Nichols
Contact | Website
updated June 29, 2015