Previous Editions
FMICS 2015
20th International Workshop on Formal Methods for Industrial Critical Systems, 22-23 June 2015, Oslo, Norway.
AVoCS 2015
15th International Workshop on Automated Verification of Critical Systems, 1-4 September 2015, Edinburgh, Scotland, UK.
FMICS 2014
19th International Workshop on Formal Methods for Industrial Critical Systems, Florence, Italy.
AVoCS 2014
14th International Workshop on Automated Verification of Critical Systems, University of Twente, Enschede, The Netherlands.
Earlier editions
Earlier FMICS and AVoCS editions were listed on the historical ERCIM/FMICS and AVoCS pages.