Announcing FMIS 2018

Announcements
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  
Read More