FMIS 2009
3rd International Workshop on
Formal Methods for Interactive Systems

REGISTRATION FOR THE WORKSHOP IS OPEN AND TAKES PLACE VIA  THE FM 2009 SITE 
Regular registration before October 19, late and on-site registration after that date.

 

 

Keynote Speaker: Muffy Calder, Glasgow University
Eindhoven, NL, Monday November 2nd, 2009.
 
Organizers
Contact
  • fmis2009 AT isti.cnr.it
FM 2009 poster
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 will be held in conjunction with FM2009

The first FMIS workshop was held in Macau in October 2006 and the second FMIS workshop, was held in Lancaster in September 2007

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