Previous Editions
20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015), 22-23 June 2015, Oslo, Norway.
15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015), 1-4 September 2015, Edinburgh, Scotland, UK.
19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2014), 11-12 September 2015, Florence, Italy.
14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014), 24-26 September 2014, University of Twente, Enschede, The Netherlands.