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.

7 results · clear filters Sort: newest oldest name

  1. Rigorous State-Based Methods - 12th International Conference, ABZ 2026, Tokyo, Japan, May 18-20, 2026, Proceedings
    2026 · Tokyo, Japan
    Computer and information sciences
    e120fyg
  2. International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ) (ABZ)
    series, 28 events, 1989 to 2026
    Computer and information sciences
    s10djws
  3. Rigorous State-Based Methods - 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings
    2025 · Düsseldorf, Germany
    Computer and information sciences
    e120fxj
  4. Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings
    2024 · Bergamo, Italy
    Computer and information sciences
    e120fwm
  5. Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings
    2023 · Nancy, France
    Computer and information sciences
    e120fvp
  6. Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings
    2021 · Ulm, Germany
    Computer and information sciences
    e10rhc4
  7. Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings (ABZ 2020)
    2020-05-27/29 · Ulm, Germany
    Computer and information sciences
    e10edes

As JSON: https://labs.confref.org/api/search?series=s10djws&from=2020&to=2029