FMIS 2019

8th Formal Methods for Interactive Systems workshop

co-located with Formal Methods 2019

7 October 2019

Porto, Portugal

Important Dates

  • Paper Submission: 21 June 2019 1 July 2019 (24h00 AoH) - extended deadline
  • Notification: 31 July 2019 20 August 2019 - extended deadline
  • Camera Ready version for participants proceedings: 2 September 2019
  • Workshop: 7 October 2019
  • Submission of paper revision for LNCS publication: 11 November 2019 (tentative)