The aim o f the FMICS conference series is to provide a foru m for researchers who are interested in the develo pment and application of formal methods in industr y. FMICS brings together scientists and engineers who are active in the area of formal methods and i nterested in exchanging their experiences in the i ndustrial usage of these methods. The FMICS confer ence series also strives to promote research and d evelopment for the improvement of formal methods a nd tools for industrial applications.
\n\nFMICS 2021 is part of the QONFEST umbrella confere nce. This year, a special session will be included on Formal Methods for Blockchain-based Smart Cont racts along with a panel on this topic. Keynote Sp eaker: Joe Kiniry (Galois Inc. and Free & Fair , US).
\nWe welcome contribut
ions of different categories:
\n - Regular pap
ers that describe original research work and resul
ts. Length: 15 pages + 2 pages of references.
\
n - Short papers that describe work-in-progress,
or positions on the future of formal methods. Leng
th: 6 pages + 2 pages of references.
\n - Tool
papers that describe software artefacts. The pape
r must contain a link to a publicly available vide
o of at most 10 minutes length. Length: 6 pages +
2 pages of references.
\n - Journal-first pape
rs that summarize a paper recently published in a
journal and not yet presented in a conference. The
main aim of this category is to allow authors pre
sent archived work in a public forum. The original
journal paper should have been published between
January 1st, 2020 and the date of submission. Leng
th: 2 pages + 1 page of references.
Su bmissions should be formatted according to the LNC S style (Springer). A Springer-sponsored award wil l be presented to the authors of the submission se lected by the Program Committee as the FMICS 2021 Best Paper.
\n