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.

8 results · clear filters Sort: newest oldest name

  1. 25th International Symposium on Formal Methods (FM 2023)
    2023-03-06/10 · Lübeck, Germany
    MathematicsComputer and information sciences
    e113jpr
  2. 20th International Conference on Software Engineering and Formal Methods (SEFM 2022)
    2022-09-26/30 · Berlin, Germany
    MathematicsComputer and information sciences
    e11s1rr
  3. 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '15, EICS 2015)
    2015-06-23/26 · Duisburg, Germany
    MathematicsComputer and information sciences
    e10dth7
  4. 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '10, EICS 2010)
    2010-06-19/23 · Berlin, Germany
    MathematicsComputer and information sciences
    e10f10z
  5. 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007, FMICS)
    2007-07-01/02 · Berlin, Germany
    MathematicsComputer and information sciences
    e103byg
  6. 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006, FMICS)
    2006-08-26/27 · Bonn, Germany
    MathematicsComputer and information sciences
    e103bxj
  7. International Symposium on Formal Methods (FM 2001)
    2001-05-12/16 · Berlin, Germany
    MathematicsComputer and information sciences
    e129rhf
  8. 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?field=1.1&discipline=Q1049183&country=DE