International Network on
Formal Methods for Interactive Systems
F   M   I   S
 
FMIS EVENTS


Next Event

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


Past Events
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).
BACK TO TOP
Created: Wed Jan 23 11:16:01 CST 2008 Maintained by
Updated: Wed Oct 20 13:40:25 CST 2010 Antonio Cerone