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.

113 results · clear filters Sort: newest oldest name

  1. 18th International Symposium on Formal Methods (FM 2012, FM)
    2012-08-27/31 · Paris, France
    MathematicsComputer and information sciences
    e103b9v
  2. 17th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2012, FMICS)
    2012-08-27/28 · Paris, France
    MathematicsComputer and information sciences
    e103c36
  3. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012, MEMOCODE)
    2012-07-16/17 · Arlington, United States
    MathematicsComputer and information sciences
    e11hmwd
  4. 4th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '12, EICS 2012)
    2012-06-25/28 · Copenhagen, Denmark
    MathematicsComputer and information sciences
    e10f0y3
  5. International Conference on Integrated Formal Methods (IFM 2012, IFM)
    2012-06-18/21 · Pisa, Italy
    Computer and information sciences
    e104xhp
  6. 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
  7. International Conference on Formal Engineering Methods (ICFEM 2011, ICFEM)
    2011-10-26/28 · Durham, United Kingdom
    MathematicsComputer and information sciences
    e104bga
  8. 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011, FMICS)
    2011-08-29/30 · Trento, Italy
    MathematicsComputer and information sciences
    e103c28
  9. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011, MEMOCODE)
    2011-07-11/13 · Cambridge, United Kingdom
    MathematicsComputer and information sciences
    e11hmvf
  10. 17th International Symposium on Formal Methods (FM 2011, FM)
    2011-06-20/24 · Limerick, Ireland
    MathematicsComputer and information sciences
    e103b8x
  11. 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '11, EICS 2011)
    2011-06-13/16 · Pisa, Italy
    MathematicsComputer and information sciences
    e10f0z1
  12. International Conference on Integrated Formal Methods (IFM 2010, IFM)
    2010-10-11/14 · Nancy, France
    Computer and information sciences
    e104xgr
  13. 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010, FMICS)
    2010-09-20/21 · Antwerp, Belgium
    MathematicsComputer and information sciences
    e103c1a
  14. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010, MEMOCODE)
    2010-07-26/28 · Grenoble, France
    MathematicsComputer and information sciences
    e11hmth
  15. 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '10, EICS 2010)
    2010-06-19/23 · Berlin, Germany
    MathematicsComputer and information sciences
    e10f10z
  16. International Conference on Formal Engineering Methods (ICFEM 2009, ICFEM)
    2009-12-09/12 · Rio de Janeiro, Brazil
    MathematicsComputer and information sciences
    e104bef
  17. 16th International Symposium on Formal Methods (FM 2009, FM)
    2009-11-02/06 · Eindhoven
    MathematicsComputer and information sciences
    e103b7z
  18. 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009, FMICS)
    2009-11-02/03 · Eindhoven
    MathematicsComputer and information sciences
    e103c0c
  19. 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
  20. ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009, MEMOCODE)
    2009-07-13/15 · Cambridge, United States
    MathematicsComputer and information sciences
    e11hmsk
  21. International Conference on Integrated Formal Methods (IFM 2009, IFM)
    2009-02-16/19 · Düsseldorf, Germany
    Computer and information sciences
    e104xfv
  22. 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008, FMICS)
    2008-09-15/16 · L'Aquila, Italy
    MathematicsComputer and information sciences
    e103bze
  23. ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2008, MEMOCODE)
    2008-06-05/07 · Anaheim, United States
    MathematicsComputer and information sciences
    e11hmrn
  24. 15th International Symposium on Formal Methods (FM 2008, FM)
    2008-05-26/30 · Turku, Finland
    MathematicsComputer and information sciences
    e103b61
  25. International Conference on Formal Engineering Methods (ICFEM 2007, ICFEM)
    2007-11-14/15 · Boca Raton, United States
    MathematicsComputer and information sciences
    e104bck

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