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.

29 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
  8. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings (ABZ 2018, ZUM)
    2018-06-05/08 · Southampton, United Kingdom
    Computer and information sciences
    e10edfq
  9. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (ZUM)
    2016-05-23/27 · Linz, Austria
    Computer and information sciences
    e10rhb6
  10. Alloy, ASM, B, VDM, TLA, and Z User Conference (ZUM)
    2014-06-02/06 · Toulouse, France
    Computer and information sciences
    e12pgnm
  11. 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
  12. 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
  13. International Conference on Abstract State Machines, Alloy, B, VDM, and Z (ABZ 2012, ABZ)
    2012-06-18/21 · Pisa, Italy
    Computer and information sciences
    e10029a
  14. Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings (ZUM)
    2010-02-22/25 · Orford, Canada
    Computer and information sciences
    e10rh8c
  15. Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (ABZ 2008, ZUM)
    2008-09-16/18 · London, United Kingdom
    Computer and information sciences
    e10dw40
  16. Alloy, ASM, B, VDM, TLA, and Z User Conference (ZUM)
    2007-01-01 · Auckland, New Zealand
    Computer and information sciences
    e12pgmp
  17. Alloy, ASM, B, VDM, TLA, and Z User Conference (ZUM)
    2006-01-01 · Columbia, United States
    Computer and information sciences
    e12pgkr
  18. ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings (ZUM)
    2005-04-13/15 · Guildford, United Kingdom
    Computer and information sciences
    e120fze
  19. ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (B, ZB 2003)
    2003-06-04/06 · Turku, Finland
    Computer and information sciences
    e10dm2c
  20. International Conference of B and Z Users (B, ZB 2002)
    2002-01-23/25 · Grenoble, France
    Computer and information sciences
    e10022r
  21. ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings (B, ZB 2000)
    2000-08-29 to 2000-09-02 · York, United Kingdom
    Computer and information sciences
    e10dm3a
  22. ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (ZUM 1998, ZUM)
    1998-09-24/26 · Berlin, Germany
    Computer and information sciences
    e10dtvk
  23. ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings (ZUM)
    1997-04-03/04 · Reading, United Kingdom
    Computer and information sciences
    e120g44
  24. International Conference of Z Users (ZUM 1995, ZUM)
    1995-09-07/09 · Limerick, Ireland
    Computer and information sciences
    e1001y0
  25. Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings (ZUM)
    1994-06-29/30 · Cambridge, United Kingdom
    Computer and information sciences
    e120g36

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