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

 

 

 
Lancaster, UK, 4 September 2007
 
Organizers
Contact
  • fmis2007 AT dcs.qmul.ac.uk
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 (www.easychair.org/FMIS2007/) no later than the submission deadline (see above).

All queries should be sent to: fmis2007 AT dcs.qmul.ac.uk.


Last update: April 23, 2007