The yearly workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS) was organized as a joint event together with the workshop on Automated Verification of Critical Systems (AVoCS). The resulting FMICS-AVoCS 2016 workshop took place on 26-28 September in Pisa at the CNR premises.
The aim of the FMICS workshop series is to provide a forum for researchers interested in the development and application of formal methods in industry. It strives to promote research and development for the improvement of formal methods and tools for industrial applications. The aim of the AVoCS workshop series is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems.
The workshop was chaired by Maurice ter Beek (ISTI-CNR, Italy), Stefania Gnesi (ISTI-CNR, Italy) and Alexander Knapp (Universität Augsburg, Germany). It attracted over 30 participants from ten countries, including the USA, Thailand and Japan, both from academia and industry.
Twenty-nine papers were submitted, of which eleven were accepted as full papers. Additionally, four short papers and five research ideas were accepted for presentation at the workshop. The program moreover included three excellent keynote lectures by Silvia Mazzini (Intecs SpA, Italy), Jan Peleska (Universität Bremen, Germany) and Thomas Arts (QuviQ AB, Sweden).
The proceedings of FMICS-AVoCS 2016 have been published by Springer as volume 9933 in their LNCS series.
The participants of FMICS-AVoCS 2016 at the CNR premises.
M.H. ter Beek, S. Gnesi, and A. Knapp (eds.): “Critical Systems: Formal Methods and Automated Verification - Proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems (FMICS-AVoCS’16)”, Pisa, Italy, 26-28 September 2016, Lecture Notes in Computer Science 9933, Springer, 2016.
Maurice ter Beek, ISTI-CNR, Italy