FMIS 2007
2nd International Workshop on
Formal Methods for Interactive Systems



Lancaster, UK, 4 September 2007
  • fmis2007 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. Submissions must be a maximum of 16 pages in ENTCS format.

Authors must submit their papers in pdf format to the submission website ( no later than the submission deadline (see above).

All queries should be sent to: fmis2007 AT

Last update: April 23, 2007