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.