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.

3 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. International Conference on Software Engineering and Formal Methods (SEFM)
    2013-09-23/27 · Madrid, Spain
    Computer and information sciences
    e107r96
  3. 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

As JSON: https://labs.confref.org/api/search?kind=event&series=s10aja4&country=ES