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

 

Leave a Reply