Call for Papers
FMICS 2020: 25th International Conference on Formal Methods for
Industrial Critical Systems
Virtually held from Vienna, Austria, September 2-3, 2020
https://fmics20.ait.ac.at/
-------------------------
IMPORTANT INFO: 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. In order to help the researchers
accommodate to the new situation, we also decided to extend the
submission deadlines by 2 weeks (see Important Dates).
-------------------------
NEW THIS YEAR: special track on "Formal Methods for Security in IoT"
and special issue in STTT
-------------------------
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 25: This is the 25th edition of FMICS, which 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.
QONFEST 2020: FMICS 2020 is part of the QONFEST umbrella conference
comprising also CONCUR 2020, FORMATS 2020 and QEST 2020.
IMPORTANT DATES
Abstract submission: May 22, 2020
Paper submission: May 29, 2020
Author notification: July 1, 2020
Camera-ready version: July 15, 2020
FMICS conference: September 2-3, 2020
TOPICS
Topics of interest include (but are not limited to):
- Case studies and experience reports on industrial applications of
formal methods, focusing on lessons learned or identification of new
research directions.
- Methods, techniques and tools to support automated analysis,
certification, debugging, descriptions, learning, optimisation and
transformation of complex, distributed, real-time, embedded, mobile and
autonomous systems.
- Verification and validation methods (model checking, theorem proving,
SAT/SMT constraint solving, abstract interpretation, etc.) that address
shortcomings of existing methods with respect to their industrial
applicability (e.g., scalability and usability issues).
- Impact of the adoption of formal methods on the development process
and associated costs. Application of formal methods in standardisation
and industrial forums.
SPECIAL TRACK on "Formal Methods for Security in IoT":
We invite submissions in topics related to the secure development and
security assessment of IoT-based applications using formal methods. For
this occasion, the Program Committee has been enlarged with experts
from the security domain. Formatting instructions and the review
procedure are the same as the ones for regular papers. However, the
authors will need to specifically indicate their interest in the
special track during the submission. Papers accepted for the special
track will be included in a special session at FMICS 2020 along with a
panel on this topic, while they will be published in the conference
proceedings together with papers accepted for the regular track.
KEYNOTE SPEAKERS
- Thomas Henzinger, IST (joint keynote with CONCUR and QEST)
- Stefan Resch, Thales
- Roderick Bloem, TU Graz (joint keynote with CONCUR and FORMATS)
SUBMISSION and PUBLICATION
Papers must describe authors' original research work and results.
Submitted papers must not have previously appeared in a journal or
conference with published proceedings and must not be concurrently
submitted to any other peer-reviewed workshop, symposium, conference or
archival journal. Any partial overlap with any such published or
concurrently submitted paper must be clearly indicated.
Submissions should clearly motivate relevance to industrial
application. Case study papers should identify lessons learned,
validate theoretical results (such as scalability of methods) or
provide specific motivation for further research and development.
Papers should not exceed 15 pages (excluding max. 2 pages of
references) formatted according to the LNCS style (Springer). All
submissions will be reviewed by the Programme Committee who will make a
selection among the submissions based on the novelty, soundness and
applicability of the presented ideas and results.
Papers must be written in English and should be submitted as PDF files
using the EasyChair submission site:
https://easychair.org/conferences/?conf=fmics20
The conference proceedings will be published by Springer.
At least one author of each accepted paper is expected to present the
paper at the conference as a registered participant. We note that the
registration fees will be minor.
BEST PAPER AWARD: A Springer-sponsored award will be presented to the
authors of the submission selected by the Program Committee as the
FMICS 2020 Best Paper.
SPECIAL ISSUE: The Program Committee of FMICS 2020 will invite a
selection of accepted papers to submit extended versions to a special
issue of the International Journal on Software Tools for Technology
Transfer (STTT).
PC CHAIRS
- Maurice ter Beek, ISTI-CNR
- Dejan Nickovic, AIT
PC MEMBERS
- Bernhard Aichernig, TU Graz
- Jiri Barnat, Masaryk University
- Davide Basile, University of Florence and ISTI-CNR
- Carlos Budde, University of Twente
- Rance Cleaveland, University of Maryland and NSF
- Thao Dang, VERIMAG
- Michael Dierkes, Rockwell Collins
- Georgios Fainekos, Arizona State University
- Alessandro Fantechi, University of Florence
- Wan Fokkink, VU Amsterdam
- Maria Del Mar Gallardo, University of Malaga
- Ichiro Hasuo, University of Tokyo
- Klaus Havelund, NASA
- Thierry Lecomte, CLEARSY
- Axel Legay, UCLouvain
- Gabriele Lenzini, University of Luxembourg
- Alberto Lluch Lafuente, TU Denmark
- Florian Lorber, Aalborg University
- Tiziana Margaria, University of Limerick and Lero
- Radu Mateescu, INRIA
- Franco Mazzanti, ISTI-CNR
- Stefan Mitsch, CMU
- Jose N. Oliveira, University of Minho and INESC TEC
- Jaco van de Pol, Aarhus University
- Adam Rogalewicz, Brno University of Technology
- Markus Roggenbach, Swansea University
- Matteo Rossi, Polytechnic University of Milan
- Bernhard Steffen, TU Dortmund
- Stefano Tonetta, FBK
- Jan Tretmans, TNO
- Andrea Vandin, Sant'Anna School of Advanced Studies
- Tim Willemse, TU Eindhoven
- Kirsten Winter, University of Queensland
- Lijun Zhang, Chinese Academy of Sciences
FMICS BOARD
- Alessandro Fantechi, University of Florence
- Hubert Garavel, INRIA
- Stefania Gnesi, ISTI-CNR
- Diego Latella, ISTI-CNR
- Tiziana Margaria, University of Limerick and Lero
- Radu Mateescu, INRIA
- Jaco van de Pol, Aarhus University (chair)
########################################################################
To unsubscribe from the META-HEURISTICS list, click the following link:
https://www.jiscmail.ac.uk/cgi-bin/webadmin?SUBED1=META-HEURISTICS&A=1
|