FMIS 2013

5th International Workshop on Formal Methods for Interactive Systems

We are now ready to publish the final proceedings with ECEASST



City University,
June 24th, 2013.
  • jbowen AT
Final Submission Formatting

Please use the Latex template or Word template for your final submission. Do not make any other changes to your paper content from your submission for the pre-proceedings.

Please upload your final submission to EasyChair.

Last update: July 28th, 2014