18 results · clear filters Sort: newest oldest name

1. International Workshop on Formal Methods for Industrial Critical Systems (FMICS)
   series, 31 events, 1996 to 2026
   MathematicsComputer and information sciences
   s109ps3
2. 24th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2019, FMICS)
   2019-08-30/31 · Kingdom of the Netherlands
   MathematicsComputer and information sciences
   e113m4v
3. 23rd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2018, FMICS)
   2018-09-03/04 · Maynooth, Ireland
   MathematicsComputer and information sciences
   e113m3x
4. 22nd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2017, FMICS)
   2017-09-18/20 · Turin, Italy
   MathematicsComputer and information sciences
   e103c8w
5. 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2016, FMICS)
   2016-09-26/29 · Pisa, Italy
   MathematicsComputer and information sciences
   e103c7y
6. 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015, FMICS)
   2015-06-22/23 · Oslo, Norway
   MathematicsComputer and information sciences
   e103c60
7. 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2014, FMICS)
   2014-09-11/12 · Florence, Italy
   MathematicsComputer and information sciences
   e103c52
8. 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013, FMICS)
   2013-09-23/24 · Madrid, Spain
   MathematicsComputer and information sciences
   e103c44
9. 17th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2012, FMICS)
   2012-08-27/28 · Paris, France
   MathematicsComputer and information sciences
   e103c36
10. 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011, FMICS)
    2011-08-29/30 · Trento, Italy
    MathematicsComputer and information sciences
    e103c28
11. 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010, FMICS)
    2010-09-20/21 · Antwerp, Belgium
    MathematicsComputer and information sciences
    e103c1a
12. 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009, FMICS)
    2009-11-02/03 · Eindhoven
    MathematicsComputer and information sciences
    e103c0c
13. 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008, FMICS)
    2008-09-15/16 · L'Aquila, Italy
    MathematicsComputer and information sciences
    e103bze
14. 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007, FMICS)
    2007-07-01/02 · Berlin, Germany
    MathematicsComputer and information sciences
    e103byg
15. 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006, FMICS)
    2006-08-26/27 · Bonn, Germany
    MathematicsComputer and information sciences
    e103bxj
16. 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005, FMICS)
    2005-09-05/06 · Lisbon, Portugal
    MathematicsComputer and information sciences
    e113m2z
17. 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004, FMICS)
    2004-09-20/21 · Linz, Austria
    MathematicsComputer and information sciences
    e120h0b
18. 8th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2003, FMICS)
    2003-06-05/07 · Trondheim, Norway
    MathematicsComputer and information sciences
    e120q21

As JSON: https://labs.confref.org/api/search?field=1&discipline=Q21198&series=s109ps3