Reducing the risk of human error in the use of interactive systems is increasingly recognised as a key objective in contexts where safety, security, financial or similar considerations are important. These risks are of particular concern where users are presented with novel interactive experiences through the use of ubiquitous mobile devices in complex smart environments. Formal methods are required to analyse these interactive situations. In such complex systems analysis and justification that risk is reduced may depend on both qualitative and quantitative models of the system.<br>The aim of FMIS 2019 (The 8th International Workshop on Formal Methods for Interactive Systems) 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.<br>Topics<br>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<br>Submitted papers should address issues of how formal methods can be applied to interactive system design. We also welcome papers with a focus on theory provided a link to interactive systems is made explicit. Application areas considered include but are not limited to: pervasive and ubiquitous systems, cyber–physical systems, augmented reality, scalability and resilience, mobile devices, embedded systems, safety–critical systems, high–reliability systems, shared control systems, digital libraries, eGovernment, human–robot interaction.
Abbrevation
FMIS
City
Porto
Country
Portugal
Deadline Paper
Start Date
End Date
Abstract