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.

28 results · clear filters Sort: newest oldest name

  1. 28th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2023)
    2023-09-18/23 · Antwerp, Belgium
    MathematicsComputer and information sciences
    e113m8k
  2. 27th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2022)
    2022-09-14/15 · Warsaw, Poland
    MathematicsComputer and information sciences
    e113m7n
  3. 26th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2021)
    2021-08-24/26 · Paris, France · online
    MathematicsComputer and information sciences
    e113m6q
  4. 25th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2020)
    2020-09-02/03 · Vienna, Austria
    MathematicsComputer and information sciences
    e113m5s
  5. 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
  6. 23rd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2018, FMICS)
    2018-09-03/04 · Maynooth, Ireland
    MathematicsComputer and information sciences
    e113m3x
  7. 22nd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2017, FMICS)
    2017-09-18/20 · Turin, Italy
    MathematicsComputer and information sciences
    e103c8w
  8. 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2016, FMICS)
    2016-09-26/29 · Pisa, Italy
    MathematicsComputer and information sciences
    e103c7y
  9. 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015, FMICS)
    2015-06-22/23 · Oslo, Norway
    MathematicsComputer and information sciences
    e103c60
  10. 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2014, FMICS)
    2014-09-11/12 · Florence, Italy
    MathematicsComputer and information sciences
    e103c52
  11. 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013, FMICS)
    2013-09-23/24 · Madrid, Spain
    MathematicsComputer and information sciences
    e103c44
  12. 17th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2012, FMICS)
    2012-08-27/28 · Paris, France
    MathematicsComputer and information sciences
    e103c36
  13. 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011, FMICS)
    2011-08-29/30 · Trento, Italy
    MathematicsComputer and information sciences
    e103c28
  14. 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010, FMICS)
    2010-09-20/21 · Antwerp, Belgium
    MathematicsComputer and information sciences
    e103c1a
  15. 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009, FMICS)
    2009-11-02/03 · Eindhoven
    MathematicsComputer and information sciences
    e103c0c
  16. 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
  17. 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007, FMICS)
    2007-07-01/02 · Berlin, Germany
    MathematicsComputer and information sciences
    e103byg
  18. 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006, FMICS)
    2006-08-26/27 · Bonn, Germany
    MathematicsComputer and information sciences
    e103bxj
  19. 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005, FMICS)
    2005-09-05/06 · Lisbon, Portugal
    MathematicsComputer and information sciences
    e113m2z
  20. 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004, FMICS)
    2004-09-20/21 · Linz, Austria
    MathematicsComputer and information sciences
    e120h0b
  21. 8th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2003, FMICS)
    2003-06-05/07 · Trondheim, Norway
    MathematicsComputer and information sciences
    e120q21
  22. 7th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2002)
    2002-07-12/13 · Málaga, Spain
    MathematicsComputer and information sciences
    e113m11
  23. 6th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001)
    2001-07-16/17 · Paris, France
    Mathematics
    e129s3b
  24. 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2000)
    2000-04-03/04 · Berlin, Germany
    Mathematics
    e129s2d
  25. 4th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1999)
    1999-07-11/12 · Trento, Italy
    Mathematics
    e129s1f

As JSON: https://labs.confref.org/api/search?kind=event&field=1.1&series=s109ps3