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.

15 results · clear filters Sort: newest oldest name

  1. International Symposium on Formal Methods (FM)
    series, 49 events, 1978 to 2026
    MathematicsComputer and information sciences
    s109pnb
  2. International Workshop on Formal Methods for Industrial Critical Systems (FMICS)
    series, 31 events, 1996 to 2026
    MathematicsComputer and information sciences
    s109ps3
  3. Formal Methods in Computer-Aided Design (FMCAD)
    series, 25 events, 1996 to 2025
    Computer and information sciences
    s109pp9
  4. International Conference on Formal Engineering Methods (ICFEM)
    series, 27 events, 1997 to 2025
    MathematicsComputer and information sciences
    s109wfj
  5. International Conference on Integrated Formal Methods (IFM)
    series, 23 events, 1999 to 2025
    MathematicsComputer and information sciences
    s10a0h7
  6. 4th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1999)
    1999-07-11/12 · Trento, Italy
    Mathematics
    e129s1f
  7. FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
    1999 · Toulouse, France
    Computer and information sciences
    e113jg4
  8. Formal Methods in Computer-Aided Design 1998 (FMCAD 1998, FMCAD)
    1998-11-04/06 · Palo Alto, United States
    Computer and information sciences
    e103beh
  9. 3rd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1998)
    1998-05-25/26 · Kingdom of the Netherlands
    Mathematics
    e129s0h
  10. 2nd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1997)
    1997-07-04/05 · Cesena, Italy
    Mathematics
    e129rzk
  11. Formal Methods in Computer-Aided Design 1996 (FMCAD 1996, FMCAD)
    1996-11-06/08 · Palo Alto, United States
    Computer and information sciences
    e103bdk
  12. 1st International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1996)
    1996-03-19 · Oxford, United Kingdom
    Mathematics
    e129ryn
  13. International Symposium on Formal Methods (FM 1994)
    1994-10-18/24 · Barcelona, Spain
    MathematicsComputer and information sciences
    e129rjd
  14. VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions
    1991 · Kingdom of the Netherlands
    Computer and information sciences
    e113jy8
  15. VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
    1990 · Kiel, Germany
    Computer and information sciences
    e113jxa

As JSON: https://labs.confref.org/api/search?discipline=Q1049183&from=1990&to=1999