20th International Workshop on Formal Methods for Industrial Critical
Systems
Oslo, Norway, June 22nd - 23rd 2015
Oslo, Norway, June 22nd - 23rd 2015
Sections
Proceedings
All accepted publications for FMICS 2015 will be published by Springer in the series Lecture Notes in Computer Science (LNCS).
In the last few editions of FMICS, a special issue of Science of Computer Programming or STTT has been dedicated to this workshop and we similarly plan to devote a special issue of one of these journals to FMICS 2015.
Submission
Submissions should not exceed 15 pages formatted according to the LNCS style, and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site.