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.

5 results · clear filters Sort: newest oldest name

  1. 17th International Conference on Software Engineering and Formal Methods (SEFM 2019, SEFM)
    2019-09-16/20 · Oslo, Norway
    MathematicsComputer and information sciences
    e11s1j4
  2. Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers
    2019 · Oslo, Norway
    Computer and information sciences
    e11s1k2
  3. 20th International Symposium on Formal Methods (FM 2015, FM)
    2015-06-24/26 · Oslo, Norway
    MathematicsComputer and information sciences
    e103bbq
  4. 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015, FMICS)
    2015-06-22/23 · Oslo, Norway
    MathematicsComputer and information sciences
    e103c60
  5. 8th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2003, FMICS)
    2003-06-05/07 · Trondheim, Norway
    MathematicsComputer and information sciences
    e120q21

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