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 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)