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 was 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 formal post-proceedings for the workshop which included all full papers were published by Elsevier in:
Electronic Notes in Theoretical Computer Science, Volume 208, 14 April 2008, Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007) DOI 10.1016/j.entcs.2008.03.103

Papers accepted for short presentation were published in the pre-proceedings only. See the workshop programme for details.

A selection of the papers from the workshop were revised and extended and the best are published in a special issue of the journal, Formal Aspects of Computer Science.

The workshop was held in conjunction with HCI 2007 and prior to SEFM 2007: the 5th IEEE International Conference on Software Engineering and Formal Methods which was held in London the following week.

The first FMIS workshop was held in Macau in October 2006.

Organised in collaboration with the HUM project sponsored by EPSRC on research grants GR/S67494 and GR/S67500. It is also in collaboration with the BCS HCI Group.

The third FMIS workshop will be held as as a satellite workshop to FM2009.

Last update: Feb 25, 2009