Announcing FMIS 2018
FMIS 2018 - 7th International Workshop on Formal Methods for Interactive Systems (Affiliated Workshop of STAF 2018) The 7th International Workshop on Formal Methods for Interactive Systems (FMIS 2018) will be held in Toulouse (France), 25-26 June 2018. Important Dates Abstract submission: March 15, 2018 Submission deadline: April 6, 2018 Notification: May 8, 2018 Workshop: June 25-26, 2018 More information: fmis2018.sciencesconf.org