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
  • Notification: 31 July 2019
  • Camera Ready: 2 September 2019
  • Workshop: 7 October 2019
  • Submission of paper revision for LNCS publication: 11 November 2019 (tentative)