fmics20.ait.ac.at Open in urlscan Pro
81.189.135.238  Public Scan

Form analysis
0 forms found in the DOM

Text Content

Skip to content
Menu
 * Home
 * Call for Papers
 * Committees
 * Keynotes
 * Program
 * Accepted Papers
 * Proceedings
 * Venue
 * Registration


25TH INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS

September 2-3, 2020, Vienna, Austria
Collocated with CONCUR, QEST and FORMATS as part of QONFEST 2020

Call for Papers Keynotes



FMICS

The aim of FMICS is to provide a forum for researchers who are interested in the
development and application of formal methods in industry. In particular, 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. FMICS also strives to promote research and development for the
improvement of formal methods and tools for industrial applications.

FMICS is the ERCIM Working Group conference on Formal Methods for Industrial
Critical Systems, and it is the key conference in the intersection of industrial
applications and Formal Methods.

IMPORTANT DATES

Abstract submission: May 8, 2020 May 22, 2020
Paper submission: May 15, 2020 May 29, 2020 (23:59:59 AoE)
Author notification: July 1, 2020
Camera-ready version: July 15, 2020
Conference: September 2-3, 2020



THIS EVENT IS SUPPORTED BY



Imprint | Data protection disclaimer


NEWS


FMICS PROCEEDINGS 2007-2020 AVAILABLE FOR FREE!

Since this year is the 25th anniversary of FMICS, Springer has kindly made all
FMICS proceedings published with them (from 2007 onwards) freely available for a
period of 4 weeks. Access free proceedings here.


25TH BIRTHDAY FESTIVITIES

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS – GENESIS, SUCCESS STORIES, AND
THE NEXT 25 YEARS

During FMICS 2020, the 25th anniversary of the FMICS conference series will be
celebrated with a panel in which the founders and previous chairpersons of the
FMICS working group of ERCIM will act as panelists. They will recall the
original motivation and beginning of FMICS, share some success stories, and
present a study on the future of formal methods and their adoption in industry.




VIRTUAL FMICS

Amid the recent COVID-19 situation, the organization committee decided that
QONFEST 2020, including FMICS 2020, will be organized on-line. Accepted papers
will be published as planned, by September 2020, but no physical
meeting/presentations will take place. We plan that the authors will record
their talks and discuss them with the conference participants online.



Copyright © 2024 fmics20 – OnePress theme by FameThemes
We use cookies to personalize and improve your experience. By continuing to use
our website you consent to this.Allow CookiesDeclinePrivacy policy
You can revoke your consent any time using the Revoke consent button.Settings