FMIS 2019
8th Formal Methods for Interactive Systems workshop
co-located with Formal Methods 2019
7 October 2019
Porto, Portugal
Important Dates
Important Dates
- Paper Submission:
21 June 20191 July 2019 (24h00 AoH) - extended deadline - Notification:
31 July 201920 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)