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.

21 results · clear filters Sort: newest oldest name

  1. 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
  2. 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
  3. 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
  4. Alloy, ASM, B, VDM, TLA, and Z User Conference (ZUM)
    2014-06-02/06 · Toulouse, France
    Computer and information sciences
    e12pgnm
  5. 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
  6. 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
  7. 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
  8. Alloy, ASM, B, VDM, TLA, and Z User Conference (ZUM)
    2007-01-01 · Auckland, New Zealand
    Computer and information sciences
    e12pgmp
  9. Alloy, ASM, B, VDM, TLA, and Z User Conference (ZUM)
    2006-01-01 · Columbia, United States
    Computer and information sciences
    e12pgkr
  10. 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
  11. 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
  12. International Conference of B and Z Users (B, ZB 2002)
    2002-01-23/25 · Grenoble, France
    Computer and information sciences
    e10022r
  13. 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
  14. 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
  15. 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
  16. International Conference of Z Users (ZUM 1995, ZUM)
    1995-09-07/09 · Limerick, Ireland
    Computer and information sciences
    e1001y0
  17. Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings (ZUM)
    1994-06-29/30 · Cambridge, United Kingdom
    Computer and information sciences
    e120g36
  18. Z User Workshop, London, UK, 14-15 December 1992, Proceedings (ZUM)
    1992-12-14/15 · London, United Kingdom
    Computer and information sciences
    e120g28
  19. Z User Workshop, York, UK, 16-17 December 1991, Proceedings (ZUM)
    1991-12-16/17 · York, United Kingdom
    Computer and information sciences
    e120g1a
  20. Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990 (ZUM)
    1990-12-17/18 · Oxford, United Kingdom
    Computer and information sciences
    e120g0c
  21. Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989 (Z User Workshop 1989, ZUM)
    1989-12-15 · Oxford, United Kingdom
    Computer and information sciences
    e10edgm

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