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.

5 results · clear filters Sort: newest oldest name

  1. 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
  2. Alloy, ASM, B, VDM, TLA, and Z User Conference (ZUM)
    2014-06-02/06 · Toulouse, France
    Computer and information sciences
    e12pgnm
  3. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
    2014 · Toulouse, France
    Computer and information sciences
    e10rh9a
  4. ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings
    2014 · Toulouse, France
    Computer and information sciences
    e10rha8
  5. International Conference of B and Z Users (B, ZB 2002)
    2002-01-23/25 · Grenoble, France
    Computer and information sciences
    e10022r

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