• 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)