Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

11 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

As JSON: https://labs.confref.org/api/search?series=s109ps3&from=2010&to=2019