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