|
|
|
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.
|
|
|