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.

32 results · clear filters Sort: newest oldest name

  1. Formal Methods for Industrial Critical Systems - 31st International Conference, FMICS 2026, Liverpool, UK, September 3-4, 2026, Proceedings
    2026 · Liverpool, United Kingdom
    Computer and information sciences
    e113mbd
  2. International Workshop on Formal Methods for Industrial Critical Systems (FMICS)
    series, 31 events, 1996 to 2026
    MathematicsComputer and information sciences
    s109ps3
  3. Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
    2025 · Aarhus, Denmark
    Computer and information sciences
    e113maf
  4. Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
    2024 · Milan, Italy
    Computer and information sciences
    e113m9h
  5. 28th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2023)
    2023-09-18/23 · Antwerp, Belgium
    MathematicsComputer and information sciences
    e113m8k
  6. 27th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2022)
    2022-09-14/15 · Warsaw, Poland
    MathematicsComputer and information sciences
    e113m7n
  7. 26th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2021)
    2021-08-24/26 · Paris, France · online
    MathematicsComputer and information sciences
    e113m6q
  8. 25th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2020)
    2020-09-02/03 · Vienna, Austria
    MathematicsComputer and information sciences
    e113m5s
  9. 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
  10. 23rd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2018, FMICS)
    2018-09-03/04 · Maynooth, Ireland
    MathematicsComputer and information sciences
    e113m3x
  11. 22nd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2017, FMICS)
    2017-09-18/20 · Turin, Italy
    MathematicsComputer and information sciences
    e103c8w
  12. 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2016, FMICS)
    2016-09-26/29 · Pisa, Italy
    MathematicsComputer and information sciences
    e103c7y
  13. 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015, FMICS)
    2015-06-22/23 · Oslo, Norway
    MathematicsComputer and information sciences
    e103c60
  14. 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2014, FMICS)
    2014-09-11/12 · Florence, Italy
    MathematicsComputer and information sciences
    e103c52
  15. 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013, FMICS)
    2013-09-23/24 · Madrid, Spain
    MathematicsComputer and information sciences
    e103c44
  16. 17th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2012, FMICS)
    2012-08-27/28 · Paris, France
    MathematicsComputer and information sciences
    e103c36
  17. 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011, FMICS)
    2011-08-29/30 · Trento, Italy
    MathematicsComputer and information sciences
    e103c28
  18. 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010, FMICS)
    2010-09-20/21 · Antwerp, Belgium
    MathematicsComputer and information sciences
    e103c1a
  19. 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009, FMICS)
    2009-11-02/03 · Eindhoven
    MathematicsComputer and information sciences
    e103c0c
  20. 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
  21. 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007, FMICS)
    2007-07-01/02 · Berlin, Germany
    MathematicsComputer and information sciences
    e103byg
  22. 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006, FMICS)
    2006-08-26/27 · Bonn, Germany
    MathematicsComputer and information sciences
    e103bxj
  23. 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005, FMICS)
    2005-09-05/06 · Lisbon, Portugal
    MathematicsComputer and information sciences
    e113m2z
  24. 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004, FMICS)
    2004-09-20/21 · Linz, Austria
    MathematicsComputer and information sciences
    e120h0b
  25. 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?series=s109ps3