Welcome
to the homepage of the 23rd international conference on formal methods for industrial critical systems (FMICS). After 22 successful FMICS workshops held from 1996 to 2017, FMICS has become a conference: such a long-awaited change is probably not a surprise in itself.
The aim of FMICS 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. FMICS also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
Proceedings
- Proceedings were published as LNCS volume 11119 and can be found here.
- Proceedings are available free of charge until October 3rd, 2018 .
Location
FMICS 2018 will be colocated with the 14th International Conference on integrated Formal Methods (iFM) at Maynooth University, Ireland on September 3rd and 4th 2018.
Registration
Registration will be accessable via the Maynooth University Online Store from July 3rd 2018. Early registration ends at 5pm GMT on July 27th 2018. More information is available here.
Invited Speakers
Susanne Graf, VERIMAG, France
Tiziana Margaria, University of Limerick and LERO, Ireland
See keynote speakers for details.
Travel and Accommodation
Maynooth University is located roughly 25km east of the centre of Dublin in the heart of Kildare county. Please check out travel and accommodation recommendations here or on the iFM web page.
Dates
- Abstract submission: (extended) 7 May 2018
- Paper submission: (extended) 11 May 2018
- Notifications: 14 June 2018
- Camera ready: 1 July 2018
- Conference: 03-04 September 2018
Submission and Publication
- Submission: https://easychair.org/conferences/?conf=fmics2018
- Conference proceedings will be published by Springer in their LNCS series.
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.
