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.

4 results · clear filters Sort: newest oldest name

  1. 21st International Conference on Software Engineering and Formal Methods (SEFM 2023)
    2023-11-06/10 · Kingdom of the Netherlands
    MathematicsComputer and information sciences
    e11s1tm
  2. Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops - CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers
    2023 · Kingdom of the Netherlands
    Computer and information sciences
    e11s1vj
  3. 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
  4. Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers
    2020 · Kingdom of the Netherlands
    Computer and information sciences
    e11s1ny

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