by Ana Cavalcanti (University of York), Laure Petrucci (LIPN, CNRS & Université Paris 13) and Cristina Seceleanu (Mälardalen University)

The yearly workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS) was organised as a joint event together with the workshop on Automated Verification of Critical Systems (AVoCS). The resulting FMICS-AVoCS 2017 workshop took place on 18-20 September in Turin, hosted by the University of Turin.

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 community on tools and techniques for the verification of critical systems.

The workshop was chaired by Laure Petrucci (LIPN, CNRS & Université Paris 13, France) and Cristina Seceleanu (Mälardalen University, Sweden). A special track on “Formal methods for mobile and autonomous robots” took place within the event, and was chaired by Ana Cavalcanti (University of York, UK). The workshop attracted 30 participants from eleven countries.

A total of thirty papers were submitted, including eight specifically for the special track. Fourteen of them were accepted (including four for the special track).

The programme also included two excellent invited keynote lectures: “Replacing store buffers by load buffers in total store ordering” by Parosh Abdulla (Uppsala University, Sweden) and “Towards formal apps: turning formal methods into verification techniques that make the difference in practice” by Kerstin Eder (University of Bristol, UK). Moreover, a half-day tutorial took place: “DIME: Model-based generation of running web applications” by Tiziana Margaria (University of Limerick & Lero, Ireland) and Philip Zweihoff (TU Dortmund, Germany).

The presentations were of extremely good quality. The programme committee awarded two best papers: “A unified formalism for monoprocessor schedulability analysis under uncertainty” by Etienne André, and “Formalising the Dezyne modelling language in mCRL2” by Rutger van Beusekom, Jan Friso Groote, Paul Hoogendijk, Rob Howe, Wieger Wesselink, Rob Wieringa and Tim Willemse. An excellent programme together with a nice weather contributed to the success of the workshops.

Best paper award winners Etienne André (left) and Tim Willemse
Best paper award winners Etienne André (left) and Tim Willemse.

We gratefully acknowledge the support of Springer for publishing the workshop’s proceedings and sponsoring the best papers, EasyChair for assisting us in managing the complete process from submission to proceedings, as well as ERCIM and EASST.

The proceedings of FMICS-AVoCS 2017 have been published by Springer as volume 10471 of their LNCS series.

Selected papers are proposed for special issues of the international journals Software Tools for Technology Transfer (STTT) and Science of Computer Programming (SCP).

FMICS Working Group:

Laure Petrucci, Cristina Seceleanu and Ana Cavalcanti (eds.): “Critical Systems: Formal Methods and Automated Verification -
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems (FMICS-AVoCS’17)”, Turin, Italy, 18–20 September 2017, Lecture notes in Computer Science 10471, Springer, 2017.

Please contact:
Ana Cavalcanti, University of York
This email address is being protected from spambots. You need JavaScript enabled to view it.

Laure Petrucci, LIPN, CNRS & Université Paris 13
This email address is being protected from spambots. You need JavaScript enabled to view it.

Cristina Seceleanu, Mälardalen University
This email address is being protected from spambots. You need JavaScript enabled to view it.

Next issue: July 2023
Special theme:
"Eplainable AI"
Call for the next issue
Image ERCIM News 112 epub
This issue in ePub format

Get the latest issue to your desktop
RSS Feed
Cookies user preferences
We use cookies to ensure you to get the best experience on our website. If you decline the use of cookies, this website may not function as expected.
Accept all
Decline all
Read more
Tools used to analyze the data to measure the effectiveness of a website and to understand how it works.
Google Analytics
Set of techniques which have for object the commercial strategy and in particular the market study.
DoubleClick/Google Marketing