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.

106 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
  8. 26th International Symposium on Formal Methods (FM 2024)
    2024-09-09/13 · Milan, Italy
    MathematicsComputer and information sciences
    e113jqp
  9. 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '24)
    2024-06-24/28 · Cagliari, Italy
    MathematicsComputer and information sciences
    e1117fp
  10. 21st International Conference on Software Engineering and Formal Methods (SEFM 2023)
    2023-11-06/10 · Kingdom of the Netherlands
    MathematicsComputer and information sciences
    e11s1tm
  11. 28th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2023)
    2023-09-18/23 · Antwerp, Belgium
    MathematicsComputer and information sciences
    e113m8k
  12. 15th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '23)
    2023-06-26/30 · Jersey Marine, United Kingdom
    MathematicsComputer and information sciences
    e12bznw
  13. 25th International Symposium on Formal Methods (FM 2023)
    2023-03-06/10 · Lübeck, Germany
    MathematicsComputer and information sciences
    e113jpr
  14. International Conference on Formal Methods and Models for System Design (MEMOCODE 2022)
    2022-10-13/14 · Shanghai, People's Republic of China
    MathematicsComputer and information sciences
    e11hn6s
  15. 20th International Conference on Software Engineering and Formal Methods (SEFM 2022)
    2022-09-26/30 · Berlin, Germany
    MathematicsComputer and information sciences
    e11s1rr
  16. 27th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2022)
    2022-09-14/15 · Warsaw, Poland
    MathematicsComputer and information sciences
    e113m7n
  17. 14th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '22)
    2022-06-21/24 · Sophia Antipolis, France
    MathematicsComputer and information sciences
    e1117cw
  18. 19th International Conference on Software Engineering and Formal Methods (SEFM 2021)
    2021-12-06/10 · online
    MathematicsComputer and information sciences
    e11s1pw
  19. 24th International Symposium on Formal Methods (FM 2021)
    2021-11-20/26 · online
    MathematicsComputer and information sciences
    e113jnt
  20. International Conference on Formal Methods and Models for System Design (MEMOCODE 2021)
    2021-11-20/22 · online
    MathematicsComputer and information sciences
    e11hn5v
  21. 26th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2021)
    2021-08-24/26 · Paris, France · online
    MathematicsComputer and information sciences
    e113m6q
  22. International Conference on Formal Engineering Methods (ICFEM 2020)
    2021-03-01/03 · Singapore
    Mathematics
    e10g1s9
  23. International Conference on Formal Methods and Models for System Design (MEMOCODE 2020)
    2020-12-02/04 · Jaipur, India
    MathematicsComputer and information sciences
    e11hn4x
  24. 18th International Conference on Software Engineering and Formal Methods (SEFM 2020)
    2020-09-14/18 · Kingdom of the Netherlands · online
    MathematicsComputer and information sciences
    e11s1m0
  25. 25th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2020)
    2020-09-02/03 · Vienna, Austria
    MathematicsComputer and information sciences
    e113m5s

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