FMICS 2018 -- Call for Papers

[Jiří Barnat]

FMICS 2018 -- 23rd International Conference on Formal Methods for 
Industrial Critical Systems

Scope
-----
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. 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. The FMICS conference series also strives to promote 
research and development for the improvement of formal methods and tools 
for industrial applications.


Topics of interest include (but are not limited to):
----------------------------------------------------
* Design, specification, code generation, and testing based on formal 
methods.

* Methods, techniques and tools to support automated analysis, 
certification, debugging, learning, optimization and transformation of 
complex, distributed, real-time systems and embedded systems.

* Automated verification (model checking, theorem proving, SAT/SMT 
constraint solving, abstract interpretation, etc.) of critical systems.

* Verification and validation methods that address shortcomings of 
existing methods with respect to their industrial applicability (e.g., 
scalability and usability issues).

* Tools for the development of formal design descriptions.

* Case studies and experience reports on industrial applications of 
formal methods, focusing on lessons learned or identification of new 
research directions.

* Impact of the adoption of formal methods on the development process 
and associated costs.

* Application of formal methods in standardization and industrial 
forums.

* Formal methods for mobile and autonomous systems.


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 demonstrate 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 
formatted according to the LNCS style (Springer). All submissions will 
be reviewed by the Program 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 Portable Document Format (PDF) files using the 
EasyChair submission site:

   https://easychair.org/conferences/?conf=fmics2018

The conference proceedings will be published by Springer in their LNCS 
series, while authors of the best full papers will be invited to submit 
extended versions to a special issue of the International Journal on 
Software Tools for Technology Transfer.


Important Dates
---------------
* Abstract submission: 20 April 2018
* Paper submission: 27 April 2018
* Notifications: 14 June 2018
* Camera ready: 1 July 2018
* Conference: 03-04 September 2018