The 4th International Workshop on Formal Methods for Interactive Systems (FMIS 2011) will be held in Limmerik, Ireland, on 0 or 21 June 2011 as a satellite workshop of FM 2011

FMIS 2009

The 3rd International Workshop on Formal Methods for Interactive Systems was organised in Eindhoven, The Netherlands, on 2 November 2009, as a satellite event of the 16th International Symposium on Formal Methods (FM 2009).

The post-proceedings of the workshop have been published by EASST in Volume 22 of Electronic Communication of the EASST. They include revised versions of a selection of workshop presentations.

FMIS 2007

The 2nd International Workshop on formal Methods for Interactive Systems was organised in Lancaster, UK, on 4 September 2007, as a satellite event of the 21st British HCI Group Annual Conference on Human Computer Interaction (HCI 2007).

The pre-proceedings of the workshop have been published as Technical Report RR-07-08, ISSN 1470-5559 by Queen Mary, University of London. They include all workshop presentation and are available online.

The post-proceedings of the workshop have been published by Elsevier in Volume 208 of ENTCS. They include revised versions of a selection of workshop presentations.

Extended versions of a selection of the papers presented at the workshop have been published in Formal Aspects of Computing.

FMIS 2006

The 1st International Workshop on formal Methods for Interactive Systems was organised in Macau SAR China on 31 October 2006, as a satellite event of ICFEM 2006.

The pre-proceedings of the workshop have been published as UNU-IIST Report No. 347. They include all workshop presentation and are available online.

The post-proceedings of the workshop have been published by Elsevier in Volume 183 of ENTCS. They include revised versions of a selection of workshop presentations.

Extended versions of a selection of the papers presented at the workshop have been published in Innovations in Systems and Software Engineering, Vol. 4, No. 2 (2008).