WORKSHOP OBJECTIVES
Reducing the likelihood of human error in the use of interactive systems is increasingly important: the use of such systems is becoming widespread in applications that demand high reliability due to safety, security, financial or similar considerations. Interactive systems are also becoming increasingly ubiquitous and being used in new and more complex situations. Consequently, the use of formal methods in verifying the correctness of interactive systems should also include analysis of human behaviour in interacting with the interface as well as with the wider socio-technical system.
The aim of this workshop is to bring together researchers in computer science, cognitive psychology, and other areas of HCI, from both academia and industry, who are interested in both formal methods and interactive system design.
The workshop provides a forum for the presentation and discussion of original research in the application of formal methods to interactive system design. This year the programme comprises diverse and original topics, including a number of papers on different aspects of formal modelling and verification of human interaction in pervasive systems. Other contributions address novel and traditional areas of application of formal methods in HCI including: formal modelling of trust-related emotions, model-based testing driven by user interface design, social networking, enterprise design using a human centered point of view and work on stochastic modelling and analysis.
This rich programme will surely stimulate a fruitful exchange between the Formal Methods community, often looking for interesting original areas of application of new formalisms and approaches, and the HCI community.
Reducing the likelihood of human error in the use of interactive systems is increasingly important: the use of such systems is becoming widespread in applications that demand high reliability due to safety, security, financial or similar considerations. Interactive systems are also becoming increasingly ubiquitous and being used in new and more complex situations. Consequently, the use of formal methods in verifying the correctness of interactive systems should also include analysis of human behaviour in interacting with the interface as well as with the wider socio-technical system.
The aim of this workshop is to bring together researchers in computer science, cognitive psychology, and other areas of HCI, from both academia and industry, who are interested in both formal methods and interactive system design.
The workshop will be held in conjunction with FM2009
The workshop provides a forum for the presentation and discussion of original research in the application of formal methods to interactive system design. This year the programme comprises diverse and original topics, including a number of papers on different aspects of formal modelling and verification of human interaction in pervasive systems. Other contributions address novel and traditional areas of application of formal methods in HCI including: formal modelling of trust-related emotions, model-based testing driven by user interface design, social networking, enterprise design using a human centered point of view and work on stochastic modelling and analysis.
This rich programme will surely stimulate a fruitful exchange between the Formal Methods community, often looking for interesting original areas of application of new formalisms and approaches, and the HCI community.
Last update:
January 27, 2010