FMIS 2018

7th International Workshop on Formal Methods for Interactive Systems

(Affiliated Workshop of STAF 2018)

25 June 2018 Toulouse (France)

Important Dates

Abstract submission: March 15, 2018
Submission deadline: April 6, 2018 April 13, 2018
Notification: May 14, 2018
Workshop: June 25, 2018

Online user: 1 RSS Feed