News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

23 - 27 August 2021, 26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021), Virtual

Date: 23 - 27 August 2021
Location: Virtual
Deadline: Friday 7 May 2021

The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

FMICS 2021 is part of the QONFEST umbrella conference. This year, a special session will be included on Formal Methods for Blockchain-based Smart Contracts along with a panel on this topic. Keynote Speaker: Joe Kiniry (Galois Inc. and Free & Fair, US).

We welcome contributions of different categories:
- Regular papers that describe original research work and results. Length: 15 pages + 2 pages of references.
- Short papers that describe work-in-progress, or positions on the future of formal methods. Length: 6 pages + 2 pages of references.
- Tool papers that describe software artefacts. The paper must contain a link to a publicly available video of at most 10 minutes length. Length: 6 pages + 2 pages of references.
- Journal-first papers 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 present archived work in a public forum. The original journal paper should have been published between January 1st, 2020 and the date of submission. Length: 2 pages + 1 page of references.

Submissions should be formatted according to the LNCS style (Springer). A Springer-sponsored award will be presented to the authors of the submission selected by the Program Committee as the FMICS 2021 Best Paper.

For more information, see https://qonfest2021.lacl.fr/fmics21.php.

Please note that this newsitem has been archived, and may contain outdated information or links.