20 results · clear filters Sort: newest oldest name

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