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