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.

106 results · clear filters Sort: newest oldest name

  1. 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '15, EICS 2015)
    2015-06-23/26 · Duisburg, Germany
    MathematicsComputer and information sciences
    e10dth7
  2. 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015, FMICS)
    2015-06-22/23 · Oslo, Norway
    MathematicsComputer and information sciences
    e103c60
  3. International Conference on Formal Engineering Methods (ICFEM 2014, ICFEM)
    2014-11-03/05 · Luxembourg, Luxembourg
    MathematicsComputer and information sciences
    e104bk4
  4. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014, MEMOCODE)
    2014-10-19/21 · Lausanne, Switzerland
    MathematicsComputer and information sciences
    e11hmy9
  5. 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2014, FMICS)
    2014-09-11/12 · Florence, Italy
    MathematicsComputer and information sciences
    e103c52
  6. 6th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '14, EICS 2014)
    2014-06-17/20 · Rome, Italy
    MathematicsComputer and information sciences
    e10f0x5
  7. 19th International Symposium on Formal Methods (FM 2014, FM)
    2014-05-12/16 · Queenstown MRT station, Singapore
    MathematicsComputer and information sciences
    e103bas
  8. 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013, FMICS)
    2013-09-23/24 · Madrid, Spain
    MathematicsComputer and information sciences
    e103c44
  9. 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
  10. 18th International Symposium on Formal Methods (FM 2012, FM)
    2012-08-27/31 · Paris, France
    MathematicsComputer and information sciences
    e103b9v
  11. 17th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2012, FMICS)
    2012-08-27/28 · Paris, France
    MathematicsComputer and information sciences
    e103c36
  12. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012, MEMOCODE)
    2012-07-16/17 · Arlington, United States
    MathematicsComputer and information sciences
    e11hmwd
  13. 4th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '12, EICS 2012)
    2012-06-25/28 · Copenhagen, Denmark
    MathematicsComputer and information sciences
    e10f0y3
  14. International Conference on Formal Engineering Methods (ICFEM 2011, ICFEM)
    2011-10-26/28 · Durham, United Kingdom
    MathematicsComputer and information sciences
    e104bga
  15. 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011, FMICS)
    2011-08-29/30 · Trento, Italy
    MathematicsComputer and information sciences
    e103c28
  16. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011, MEMOCODE)
    2011-07-11/13 · Cambridge, United Kingdom
    MathematicsComputer and information sciences
    e11hmvf
  17. 17th International Symposium on Formal Methods (FM 2011, FM)
    2011-06-20/24 · Limerick, Ireland
    MathematicsComputer and information sciences
    e103b8x
  18. 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '11, EICS 2011)
    2011-06-13/16 · Pisa, Italy
    MathematicsComputer and information sciences
    e10f0z1
  19. 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010, FMICS)
    2010-09-20/21 · Antwerp, Belgium
    MathematicsComputer and information sciences
    e103c1a
  20. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010, MEMOCODE)
    2010-07-26/28 · Grenoble, France
    MathematicsComputer and information sciences
    e11hmth
  21. 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '10, EICS 2010)
    2010-06-19/23 · Berlin, Germany
    MathematicsComputer and information sciences
    e10f10z
  22. International Conference on Formal Engineering Methods (ICFEM 2009, ICFEM)
    2009-12-09/12 · Rio de Janeiro, Brazil
    MathematicsComputer and information sciences
    e104bef
  23. 16th International Symposium on Formal Methods (FM 2009, FM)
    2009-11-02/06 · Eindhoven
    MathematicsComputer and information sciences
    e103b7z
  24. 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009, FMICS)
    2009-11-02/03 · Eindhoven
    MathematicsComputer and information sciences
    e103c0c
  25. 1st ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '09, EICS 2009)
    2009-07-14/17 · Pittsburgh, United States
    MathematicsComputer and information sciences
    e10f11x

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