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. International Conference on Software Engineering and Formal Methods (SEFM)
    series, 34 events, 2003 to 2025
    MathematicsComputer and information sciences
    s10aja4
  2. 21st International Conference on Software Engineering and Formal Methods (SEFM 2023)
    2023-11-06/10 · Kingdom of the Netherlands
    MathematicsComputer and information sciences
    e11s1tm
  3. 20th International Conference on Software Engineering and Formal Methods (SEFM 2022)
    2022-09-26/30 · Berlin, Germany
    MathematicsComputer and information sciences
    e11s1rr
  4. 19th International Conference on Software Engineering and Formal Methods (SEFM 2021)
    2021-12-06/10 · online
    MathematicsComputer and information sciences
    e11s1pw
  5. 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
  6. 17th International Conference on Software Engineering and Formal Methods (SEFM 2019, SEFM)
    2019-09-16/20 · Oslo, Norway
    MathematicsComputer and information sciences
    e11s1j4
  7. 16th International Conference on Software Engineering and Formal Methods (SEFM 2018, SEFM)
    2018-06-27/29 · Toulouse, France
    MathematicsComputer and information sciences
    e11s1h6
  8. 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007, SEFM)
    2007-09-10/14 · London, United Kingdom
    MathematicsComputer and information sciences
    e11s18s

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