According to Dr Pedro Merino, Chair of the ERCIM Working Group on FMICS, “The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods and tools in industry”. In particular, these workshops are intended to bring together scientists and practitioners who are interested in exchanging their experiences in the industrial usage of formal methods.
Formal methods have been advocated as a means of increasing the reliability of systems, especially those which are safety or business critical, but the industrial uptake of such methods has been slow. This is due to the perceived difficulty of mathematical nature of these methods, the lack of tool support, and the lack of precedents where formal methods have proven to be effective. However, international standards for safety now recommend the use of such methodologies, especially for critical systems.
ERCIM, the European Research Consortium for Informatics and Mathematics, aims to foster collaborative work within the European research community and to increase co-operation with European industry. Leading research institutes from nineteen European countries are members of ERCIM.
Website : http://www.inrialpes.fr/vasy/fmics/
Original Press Release : http://www.alphagalileo.org/