Workshops will be held on June 24, 2013. Attendance requires acceptance from the workshop organizers. Registration will be through the EICS registration system.
Key dates for Workshop Participants
Web site: http://www.dui-workshop.org/
Summary: Distributed User Interfaces (DUIs) have recently become a new field of research and development in Human-Computer Interaction (HCI). The DUIs have brought about drastic changes affecting the way interactive systems are conceived. DUIs have gone beyond the fact that user interfaces are controlled by a single end user on the same computing platform in the same environment. This new interaction mechanism affects the way these novel systems are designed and developed. New features need to be taken into account from the very beginning of the development process and new models, methods, and tools need to be considered for the correct development of interactive systems based on Distributed User Interfaces. Therefore, the goal of this workshop is to promote the discussion about the emerging topic of DUIs, answering a set of key questions: How current UI models can be used or extended to cover the new features of DUIs?. What new features should be considered and how should they be included within the development process?. What new methods and methodologies do we need to develop DUIs in a correct way following the quality standards for interactive systems?.
Summary: The workshop focuses on use of formal methods in the development and analysis of Interactive Systems. The workshop is particularly concerned with issues relating to Human Computer Interaction and to the analysis of interaction in ubiquitous computing environments. In the latter case the complexities of dynamic context, including location and large numbers of interacting entities, pose particular challenges to formal modelling. These challenges have been documented in one of the UK Grand Challenges on Ubiquitous Computing (see for example this lecture record). The aim of this workshop is to bring together researchers from a range of disciplines within computer science (including HCI) and other behavioural disciplines, from both academia and industry, who are interested in both formal methods and interactive system design. An aim of the workshop is to grow and sustain a network of researchers interested in the development and application of formal methods and related verification and analysis tools to HCI and usability aspects of ubiquitous systems. The focus of the workshop is, though not restricted to, general design and verification methodologies, which take account of models or accounts of human behaviour, as well as application areas such as pervasive and ubiquitous systems, augmented reality, scalability and resilience, mobile devices, embedded systems, safety critical systems, high-reliability systems, shared control systems, digital libraries, eGovernment.
Web site: http://www.serenoa-fp7.eu/casfe2013/
Summary: Engineering interactive systems that are aware of the characteristics and constraints of the context of the user becomes challenging when several user’s profiles, platforms and environments are considered. In this sense the adaptation of user interfaces raises as an important approach to support stakeholders while designing, implementing, evaluating and providing systems whose user interfaces are usable, regardless of their context of use. In 2012, during the first CASFE workshop we discussed models, frameworks, languages, tools and applications that aim at supporting, facilitating and improving the development of adaptive and adaptable systems. CASFE’2013 will join experts in the domain of context-aware adaptation in order to review its state-of-the-art, while looking at a broad range of application domains, discussing positive and negative experiences of context-aware adaptation, and identifying criteria and requirements that drive such adaptation.