FMIS 2013 - 5th International Workshop on Formal Methods for Interactive Systems (FMIS 2013)

5th International Workshop on Formal Methods for Interactive Systems (FMIS 2013)
Web site: http://www.cs.waikato.ac.nz/%7Ejbowen/FMIS/fmis.ht...
Contact: jbowen-AT-cs.waikato.ac.nz
Organizers:
Steve Reeves, University of Waikato
Judy Bowen, University of Waikato
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.