Previous Editions

 

  • FMICS 2015 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015),
    22-23 June 2015, Oslo, Norway.

 

  • AVoCS 2015 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015),
    1-4 September 2015, Edinburgh, Scotland, UK.

 

  • FMICS 2014 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2014),
    11-12 September 2015, Florence, Italy.

 

  • AVoCS 2014 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014),
    24-26 September 2014, University of Twente, Enschede, The Netherlands.