International Network on
Formal Methods for Interactive Systems
F   M   I   S
 
FMIS EVENTS
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 will published by Elsevier in ENTCS. They include revised versions of a selection of workshop presentations.

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.
BACK TO TOP
Created: Wed Jan 23 11:16:01 CST 2008 Maintained by
Updated: Wed Jan 23 11:16:01 CST 2008 Antonio Cerone