Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

5 results · clear filters Sort: newest oldest name

  1. Formal Methods and Software Engineering - 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings
    2024 · Hiroshima, Japan
    Computer and information sciences
    e118ate
  2. International Conference on Formal Engineering Methods (ICFEM 2016, ICFEM)
    2016-11-14/18 · Tokyo, Japan
    MathematicsComputer and information sciences
    e104bn0
  3. International Conference on Formal Engineering Methods (ICFEM 2012, ICFEM)
    2012-11-12/16 · Kyoto, Japan
    MathematicsComputer and information sciences
    e104bh8
  4. International Conference on Formal Engineering Methods (ICFEM 2008, ICFEM)
    2008-10-27/31 · Kitakyūshū, Japan
    MathematicsComputer and information sciences
    e104bdh
  5. International Conference on Formal Engineering Methods (ICFEM 1997, ICFEM)
    1997-11-12/14 · Hiroshima, Japan
    MathematicsComputer and information sciences
    e118app

As JSON: https://labs.confref.org/api/search?kind=event&series=s109wfj&country=JP