Search this site
Embedded Files
Skip to main content
Skip to navigation
FMIS 2019
Home
Program
Registration
Important Dates
Committees
Call for papers
Previous editions
FMIS 2019
Home
Program
Registration
Important Dates
Committees
Call for papers
Previous editions
More
Home
Program
Registration
Important Dates
Committees
Call for papers
Previous editions
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
)
Google Sites
Report abuse
Google Sites
Report abuse