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.

6 results · clear filters Sort: newest oldest name

  1. Software Engineering and Formal Methods - 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings
    2025 · Toledo, Spain
    Computer and information sciences
    e11s1yc
  2. 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '19, EICS 2019)
    2019-06-18/21 · Valencia, Spain
    MathematicsComputer and information sciences
    e10f0tb
  3. 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013, FMICS)
    2013-09-23/24 · Madrid, Spain
    MathematicsComputer and information sciences
    e103c44
  4. Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
    2013 · Madrid, Spain
    Computer and information sciences
    e11s1df
  5. 7th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2002)
    2002-07-12/13 · Málaga, Spain
    MathematicsComputer and information sciences
    e113m11
  6. International Symposium on Formal Methods (FM 1994)
    1994-10-18/24 · Barcelona, Spain
    MathematicsComputer and information sciences
    e129rjd

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