FMIS 2009
3rd International Workshop on
Formal Methods for Interactive Systems



Eindhoven, NL, 2 November 2009
  • fmis2009 AT

Submissions to the workshop must not have been published or be concurrently considered for publication elsewhere. All submissions will be peer-reviewed and judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the workshop. Full paper submissions must be a maximum of 16 pages, short paper submissions may be upto 4 pages.

Authors must submit their papers in *pdf format* to the submission website ( no later than the submission deadline (see above). The paper should be in the EC-EASST format which is available for Word in this zip file or for Latex in this tar file. The templates can also be downloaded from the EASST site at

Last update: March 31, 2009