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. 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
  2. 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
  3. 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
  4. 15th International Symposium on Formal Methods (FM 2008, FM)
    2008-05-26/30 · Turku, Finland
    MathematicsComputer and information sciences
    e103b61
  5. International Conference on Formal Engineering Methods (ICFEM 2007, ICFEM)
    2007-11-14/15 · Boca Raton, United States
    MathematicsComputer and information sciences
    e104bck
  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. 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007, FMICS)
    2007-07-01/02 · Berlin, Germany
    MathematicsComputer and information sciences
    e103byg
  8. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007, MEMOCODE)
    2007-05-30 to 2007-06-01 · Nice, France
    MathematicsComputer and information sciences
    e11hmqq
  9. International Conference on Formal Engineering Methods (ICFEM 2006, ICFEM)
    2006-11-01/03 · Macau
    MathematicsComputer and information sciences
    e104bbn
  10. 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006, FMICS)
    2006-08-26/27 · Bonn, Germany
    MathematicsComputer and information sciences
    e103bxj
  11. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2006, MEMOCODE)
    2006-07-27/29 · Napa, United States
    MathematicsComputer and information sciences
    e11hmps
  12. International Conference on Formal Engineering Methods (ICFEM 2005, ICFEM)
    2005-11-01/04 · Manchester, United Kingdom
    MathematicsComputer and information sciences
    e104baq
  13. 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005, FMICS)
    2005-09-05/06 · Lisbon, Portugal
    MathematicsComputer and information sciences
    e113m2z
  14. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2005, MEMOCODE)
    2005-07-11/14 · Verona, Italy
    MathematicsComputer and information sciences
    e11hmnv
  15. International Conference on Formal Engineering Methods (ICFEM 2004, ICFEM)
    2004-11-08/12 · Seattle, United States
    MathematicsComputer and information sciences
    e104b9s
  16. 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004, FMICS)
    2004-09-20/21 · Linz, Austria
    MathematicsComputer and information sciences
    e120h0b
  17. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2004, MEMOCODE)
    2004-06-22/25 · San Diego, United States
    MathematicsComputer and information sciences
    e11hmmx
  18. International Conference on Formal Engineering Methods (ICFEM 2003, ICFEM)
    2003-11-05/07 · Singapore
    MathematicsComputer and information sciences
    e104b8v
  19. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003, MEMOCODE)
    2003-06-24/26 · Le Mont Saint-Michel, France
    MathematicsComputer and information sciences
    e11hmkz
  20. 8th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2003, FMICS)
    2003-06-05/07 · Trondheim, Norway
    MathematicsComputer and information sciences
    e120q21
  21. International Conference on Formal Engineering Methods (ICFEM 2002, ICFEM)
    2002-10-21/25 · Shanghai, People's Republic of China
    MathematicsComputer and information sciences
    e104b7x
  22. 7th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2002)
    2002-07-12/13 · Málaga, Spain
    MathematicsComputer and information sciences
    e113m11
  23. 6th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001)
    2001-07-16/17 · Paris, France
    Mathematics
    e129s3b
  24. International Symposium on Formal Methods (FM 2001)
    2001-05-12/16 · Berlin, Germany
    MathematicsComputer and information sciences
    e129rhf
  25. 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2000)
    2000-04-03/04 · Berlin, Germany
    Mathematics
    e129s2d

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