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.

7 results · clear filters Sort: newest oldest name

  1. International Symposium on Formal Methods (FM)
    series, 49 events, 1978 to 2026
    MathematicsComputer and information sciences
    s109pnb
  2. International Workshop on Formal Methods for Industrial Critical Systems (FMICS)
    series, 31 events, 1996 to 2026
    MathematicsComputer and information sciences
    s109ps3
  3. ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS, EnCHIReS)
    series, 25 events, 2009 to 2026
    MathematicsComputer and information sciencesPsychology
    s10c0qq
  4. International Conference on Formal Engineering Methods (ICFEM)
    series, 27 events, 1997 to 2025
    MathematicsComputer and information sciences
    s109wfj
  5. International Conference on Integrated Formal Methods (IFM)
    series, 23 events, 1999 to 2025
    MathematicsComputer and information sciences
    s10a0h7
  6. International Conference on Software Engineering and Formal Methods (SEFM)
    series, 34 events, 2003 to 2025
    MathematicsComputer and information sciences
    s10aja4
  7. International Conference on Formal Methods and Models for System Design (MEMOCODE)
    series, 23 events, 2003 to 2025
    MathematicsComputer and information sciences
    s10mqzz

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