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.

189 results · clear filters Sort: newest oldest name

  1. 6th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '14, EICS 2014)
    2014-06-17/20 · Rome, Italy
    MathematicsComputer and information sciences
    e10f0x5
  2. 19th International Symposium on Formal Methods (FM 2014, FM)
    2014-05-12/16 · Queenstown MRT station, Singapore
    MathematicsComputer and information sciences
    e103bas
  3. NASA Formal Methods Symposium (NFM 2014, NFM)
    2014-04-29 to 2014-05-01 · Houston, United States
    Computer and information sciences
    e106jjv
  4. Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
    2014 · Grenoble, France
    Computer and information sciences
    e11s1ed
  5. Formal Methods in Computer-Aided Design 2013 (FMCAD 2013, FMCAD)
    2013-10-20/23 · Portland, United States
    Computer and information sciences
    e10fwg3
  6. 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013, FMICS)
    2013-09-23/24 · Madrid, Spain
    MathematicsComputer and information sciences
    e103c44
  7. 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
  8. 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
  9. 18th International Symposium on Formal Methods (FM 2012, FM)
    2012-08-27/31 · Paris, France
    MathematicsComputer and information sciences
    e103b9v
  10. 17th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2012, FMICS)
    2012-08-27/28 · Paris, France
    MathematicsComputer and information sciences
    e103c36
  11. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012, MEMOCODE)
    2012-07-16/17 · Arlington, United States
    MathematicsComputer and information sciences
    e11hmwd
  12. 4th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '12, EICS 2012)
    2012-06-25/28 · Copenhagen, Denmark
    MathematicsComputer and information sciences
    e10f0y3
  13. International Conference on Integrated Formal Methods (IFM 2012, IFM)
    2012-06-18/21 · Pisa, Italy
    Computer and information sciences
    e104xhp
  14. Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers
    2012 · Thessaloniki, Greece
    Computer and information sciences
    e11s1ch
  15. Formal Methods in Computer-Aided Design 2011 (FMCAD 2011, FMCAD)
    2011-10-30 to 2011-11-02 · Austin, United States
    Computer and information sciences
    e10fwh1
  16. International Conference on Formal Engineering Methods (ICFEM 2011, ICFEM)
    2011-10-26/28 · Durham, United Kingdom
    MathematicsComputer and information sciences
    e104bga
  17. International Symposium on Formal Methods for Components and Objects (FMCO 2011, FMCO)
    2011-10-03/05 · Turin, Italy
    Computer and information sciences
    e103btr
  18. 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011, FMICS)
    2011-08-29/30 · Trento, Italy
    MathematicsComputer and information sciences
    e103c28
  19. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011, MEMOCODE)
    2011-07-11/13 · Cambridge, United Kingdom
    MathematicsComputer and information sciences
    e11hmvf
  20. 17th International Symposium on Formal Methods (FM 2011, FM)
    2011-06-20/24 · Limerick, Ireland
    MathematicsComputer and information sciences
    e103b8x
  21. 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '11, EICS 2011)
    2011-06-13/16 · Pisa, Italy
    MathematicsComputer and information sciences
    e10f0z1
  22. NASA Formal Methods Symposium (NFM 2011, NFM)
    2011-04-18/20 · Pasadena, United States
    Computer and information sciences
    e106jf2
  23. Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), Pisa, Italy, June 13, 2011
    2011 · Pisa, Italy
    Computer and information sciences
    e1117mb
  24. Brazilian Symposium on Formal Methods (SBMF 2010, SBMF)
    2010-11-08/11 · Natal, Brazil
    Computer and information sciences
    e107m0w
  25. International Conference on Integrated Formal Methods (IFM 2010, IFM)
    2010-10-11/14 · Nancy, France
    Computer and information sciences
    e104xgr

As JSON: https://labs.confref.org/api/search?discipline=Q1049183&page=5