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

 

 

 
Eindhoven, NL, 2 November 2009
 
Organizers
Contact
  • fmis2009 AT isti.cnr.it

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 (www.easychair.org/conferences/?conf=fmis09) 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 http://eceasst.cs.tu-berlin.de/template/.

Last update: March 31, 2009