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.

8 results · clear filters Sort: newest oldest name

  1. International Conference on Integrated Formal Methods (IFM)
    series, 23 events, 1999 to 2025
    MathematicsComputer and information sciences
    s10a0h7
  2. International Conference on Integrated Formal Methods (IFM 2009, IFM)
    2009-02-16/19 · Düsseldorf, Germany
    Computer and information sciences
    e104xfv
  3. International Conference on Integrated Formal Methods (IFM 2007, IFM)
    2007-07-02/05 · Oxford, United Kingdom
    Computer and information sciences
    e104xex
  4. International Conference on Integrated Formal Methods (IFM 2005, IFM)
    2005-11-29 to 2005-12-02 · Eindhoven
    Computer and information sciences
    e104xdz
  5. Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, IFM Doctoral Symposium 2005, Eindhoven, The Netherlands, November 29, 2005
    2005 · Kingdom of the Netherlands
    Computer and information sciences
    e120j42
  6. International Conference on Integrated Formal Methods (IFM 2004, IFM)
    2004-04-04/07 · Canterbury, United Kingdom
    Computer and information sciences
    e104xc1
  7. International Conference on Integrated Formal Methods (IFM 2002, IFM)
    2002-05-15/18 · Turku, Finland
    Computer and information sciences
    e104xb3
  8. International Conference on Integrated Formal Methods (IFM 2000, IFM)
    2000-11-01/03 · Schloss Dagstuhl – Leibniz Center for Informatics, Germany
    Computer and information sciences
    e104xa5

As JSON: https://labs.confref.org/api/search?series=s10a0h7&from=2000&to=2009