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.

24 results · clear filters Sort: newest oldest name

  1. Integrated Formal Methods - 20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings
    2025 · Paris, France
    Computer and information sciences
    e11bx6y
  2. International Conference on Integrated Formal Methods (IFM)
    series, 23 events, 1999 to 2025
    MathematicsComputer and information sciences
    s10a0h7
  3. Integrated Formal Methods - 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings
    2024 · Manchester, United Kingdom
    Computer and information sciences
    e11bx50
  4. iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings
    2023 · Kingdom of the Netherlands
    Computer and information sciences
    e11bx42
  5. International Conference on Integrated Formal Methods (IFM 2022)
    2022-06-07/10 · Lugano, Switzerland
    Computer and information sciences
    e11bx34
  6. 16th International Conference on Integrated Formal Methods (IFM 2020)
    2020-11-16/20 · Lugano, Switzerland
    Computer and information sciences
    e11bx26
  7. 15th International Conference on Integrated Formal Methods (IFM 2019, IFM)
    2019-12-02/06 · Bergen, Norway
    Computer and information sciences
    e11bx18
  8. 14th International Conference on Integrated Formal Methods (IFM 2018, IFM)
    2018-09-05/07 · Maynooth, Ireland
    Computer and information sciences
    e11bx0a
  9. International Conference on Integrated Formal Methods (IFM 2017, IFM)
    2017-09-20/22 · Turin, Italy
    Computer and information sciences
    e104xne
  10. International Conference on Integrated Formal Methods (IFM)
    2016-06-01/05 · Reykjavík, Iceland
    Computer and information sciences
    e104xmg
  11. 12th International Conference on Integrated Formal Methods (IFM 2016)
    2016-06-01/03 · Reykjavík, Iceland
    MathematicsComputer and information sciences
    e1246vq
  12. International Conference on Integrated Formal Methods (IFM 2016)
    2016-06-01/05 · Reykjavík, Iceland
    MathematicsComputer and information sciences
    e129s65
  13. International Conference on Integrated Formal Methods (IFM 2014, IFM)
    2014-09-09/11 · Bertinoro, Italy
    Computer and information sciences
    e104xkj
  14. International Conference on Integrated Formal Methods (IFM 2013, IFM)
    2013-06-10/14 · Turku, Finland
    Computer and information sciences
    e104xjm
  15. International Conference on Integrated Formal Methods (IFM 2012, IFM)
    2012-06-18/21 · Pisa, Italy
    Computer and information sciences
    e104xhp
  16. International Conference on Integrated Formal Methods (IFM 2010, IFM)
    2010-10-11/14 · Nancy, France
    Computer and information sciences
    e104xgr
  17. International Conference on Integrated Formal Methods (IFM 2009, IFM)
    2009-02-16/19 · Düsseldorf, Germany
    Computer and information sciences
    e104xfv
  18. International Conference on Integrated Formal Methods (IFM 2007, IFM)
    2007-07-02/05 · Oxford, United Kingdom
    Computer and information sciences
    e104xex
  19. International Conference on Integrated Formal Methods (IFM 2005, IFM)
    2005-11-29 to 2005-12-02 · Eindhoven
    Computer and information sciences
    e104xdz
  20. 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
  21. International Conference on Integrated Formal Methods (IFM 2004, IFM)
    2004-04-04/07 · Canterbury, United Kingdom
    Computer and information sciences
    e104xc1
  22. International Conference on Integrated Formal Methods (IFM 2002, IFM)
    2002-05-15/18 · Turku, Finland
    Computer and information sciences
    e104xb3
  23. 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
  24. International Conference on Integrated Formal Methods (IFM 1999, IFM)
    1999-06-28/29 · York, United Kingdom
    Computer and information sciences
    e11bwzc

As JSON: https://labs.confref.org/api/search?series=s10a0h7