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. 15th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '23)
    2023-06-26/30 · Jersey Marine, United Kingdom
    MathematicsComputer and information sciences
    e12bznw
  2. 22nd International Symposium on Formal Methods (FM 2018, FM)
    2018-07-15/17 · Oxford, United Kingdom
    MathematicsComputer and information sciences
    e113jh2
  3. 5th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '13, EICS 2013)
    2013-06-24/27 · London, United Kingdom
    MathematicsComputer and information sciences
    e10e1va
  4. International Conference on Formal Engineering Methods (ICFEM 2011, ICFEM)
    2011-10-26/28 · Durham, United Kingdom
    MathematicsComputer and information sciences
    e104bga
  5. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011, MEMOCODE)
    2011-07-11/13 · Cambridge, United Kingdom
    MathematicsComputer and information sciences
    e11hmvf
  6. 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
  7. International Conference on Formal Engineering Methods (ICFEM 2005, ICFEM)
    2005-11-01/04 · Manchester, United Kingdom
    MathematicsComputer and information sciences
    e104baq
  8. 1st International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1996)
    1996-03-19 · Oxford, United Kingdom
    Mathematics
    e129ryn

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