• FMICS-AVoCS 2016 International Workshop on ¬†Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016)
    Pisa, Italy, 26-28 September 2016
  • 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.
  • FMICS 1996-2013 (on ERCIM’s website)
  • AVoCS 2001-2013 (on AVoCS’ website)