International Workshop on Formal Methods for Industrial Critical Systems (FMICS)

Venue statistics

records by year

document access 

    frequent authors

      FMICS Home Page

      FMICS 2021: Paris, France

      FMICS 2020: Vienna, Austria

      FMICS 2019: Amsterdam, The Netherlands

      FMICS 2018: Maynooth, Ireland

      FMICS-AVoCS 2017: Turin, Italy

      FMICS-AVoCS 2016: Pisa, Italy

      FMICS 2015: Oslo, Norway

      FMICS 2014: Florence, Italy

      FMICS 2013: Madrid, Spain

      FMICS 2012: Paris, France

      FMICS 2011: Trento, Italy

      FMICS 2010: Antwerp, Belgium

      FMICS 2009: Eindhoven, The Netherlands

      FMICS 2008: L'Aquila, Italy

      FMICS 2007: Berlin, Germany

      FMICS/PDMC 2006: Bonn, Germany

      FMICS 2005: Lisbon, Portugal

      FMICS 2004: Linz, Austria

      ENTCS 133

      FMICS 2003: Trondheim, Norway

      ENTCS 80
      a service of  Schloss Dagstuhl - Leibniz Center for Informatics