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.

11 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. 15th International Conference on Integrated Formal Methods (IFM 2019, IFM)
    2019-12-02/06 · Bergen, Norway
    Computer and information sciences
    e11bx18
  3. 14th International Conference on Integrated Formal Methods (IFM 2018, IFM)
    2018-09-05/07 · Maynooth, Ireland
    Computer and information sciences
    e11bx0a
  4. International Conference on Integrated Formal Methods (IFM 2017, IFM)
    2017-09-20/22 · Turin, Italy
    Computer and information sciences
    e104xne
  5. International Conference on Integrated Formal Methods (IFM)
    2016-06-01/05 · Reykjavík, Iceland
    Computer and information sciences
    e104xmg
  6. 12th International Conference on Integrated Formal Methods (IFM 2016)
    2016-06-01/03 · Reykjavík, Iceland
    MathematicsComputer and information sciences
    e1246vq
  7. International Conference on Integrated Formal Methods (IFM 2016)
    2016-06-01/05 · Reykjavík, Iceland
    MathematicsComputer and information sciences
    e129s65
  8. International Conference on Integrated Formal Methods (IFM 2014, IFM)
    2014-09-09/11 · Bertinoro, Italy
    Computer and information sciences
    e104xkj
  9. International Conference on Integrated Formal Methods (IFM 2013, IFM)
    2013-06-10/14 · Turku, Finland
    Computer and information sciences
    e104xjm
  10. International Conference on Integrated Formal Methods (IFM 2012, IFM)
    2012-06-18/21 · Pisa, Italy
    Computer and information sciences
    e104xhp
  11. International Conference on Integrated Formal Methods (IFM 2010, IFM)
    2010-10-11/14 · Nancy, France
    Computer and information sciences
    e104xgr

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