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. 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009, FMICS)
    2009-11-02/03 · Eindhoven
    MathematicsComputer and information sciences
    e103c0c
  3. 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
  4. 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007, FMICS)
    2007-07-01/02 · Berlin, Germany
    MathematicsComputer and information sciences
    e103byg
  5. 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006, FMICS)
    2006-08-26/27 · Bonn, Germany
    MathematicsComputer and information sciences
    e103bxj
  6. 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005, FMICS)
    2005-09-05/06 · Lisbon, Portugal
    MathematicsComputer and information sciences
    e113m2z
  7. 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004, FMICS)
    2004-09-20/21 · Linz, Austria
    MathematicsComputer and information sciences
    e120h0b
  8. 8th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2003, FMICS)
    2003-06-05/07 · Trondheim, Norway
    MathematicsComputer and information sciences
    e120q21
  9. 7th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2002)
    2002-07-12/13 · Málaga, Spain
    MathematicsComputer and information sciences
    e113m11
  10. 6th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001)
    2001-07-16/17 · Paris, France
    Mathematics
    e129s3b
  11. 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2000)
    2000-04-03/04 · Berlin, Germany
    Mathematics
    e129s2d

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