Formal Methods Wiki

Virtual Library
Software engineering
Formal methods
Z notation
ZUG Constitution
Z User Meeting

New Last ABZ conference:
ABZ 2018: Southampton, United Kingdom, 5-8 June 2018
Previous ABZ conferences:
ABZ 2016: Linz, Austria, 23-27 May 2016
ABZ 2014: Toulouse, France, 2-6 June 2014
ABZ 2012: Pisa, Italy, 18-22 June 2012
ABZ 2010: Orford, Quebec, Canada, 23–25 February 2010
First ABZ conference:
ABZ 2008, British Computer Society, London, UK, 16-18 September 2008
Last ZUM event: ZUM 2007, 17th International Z User Meeting, part of ICECCS 2007, Auckland, New Zealand, 11 July 2007

The Z User Group exists to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems. It was formally constituted on Monday 14th December 1992 during ZUM'92. From June 2012, the officers have been:

The following are ZUG steering committee members and a star (*) indicates a former ABZ2008 programme committee member:

  1. Keijiro Araki, Kyushu University, Japan
  2. Rob Arthan, Lemma 1, Reading, UK
  3. * Jonathan Bowen, Birmingham City University, UK (Programme Co-Chair)
  4. Neville Dean, Anglia Polytechnic University, UK
  5. * John Derrick, University of Sheffield, UK
  6. Jin Song Dong, National University of Singapore
  7. Mark d'Inverno, University of Westminster, UK
  8. Leo Freitas, The University of York, UK
  9. Wolfgang Grieskamp, Microsoft Research, USA
  10. * Martin Henson, University of Essex, UK
  11. Rob Hierons, Brunel University, UK
  12. * Mike Hinchey, LERO, University of Limerick, Republic of Ireland
  13. Jonathan Jacky, University of Washington, USA
  14. * Randolph Johnson, Arundel System Logic, Maryland, USA
  15. Steve King, University of York, UK
  16. * Yves Ledru, LSR-IMAG, Grenoble, France
  17. Petra Malik, Victoria University of Wellington, New Zealand
  18. Fiona Polack, University of York, UK
  19. * Steve Reeves, University of Waikato, New Zealand
  20. Mark Saaltink, ORA, Ottawa, Canada
  21. Thomas Santen, Technical University of Berlin, Germany
  22. Graeme Smith, University of Queensland, Australia
  23. Susan Stepney, University of York, UK
  24. Ian Toyn, University of York, UK
  25. * Mark Utting, University of Waikato, New Zealand
  26. * Sergiy Vilkomir, East Carolina University, USA
  27. Jim Woodcock, The University of York, UK

The main activity of the committee members is to organize and act as programme committee for the Z User Meeting. (aka the International Conference of Z Users). From 2000 to 2005, this was organized jointly in cooperation with the International B Conference Steering Committee (APCB) as the International Conference of B and Z Users (ZB).

The last ZB meeting was ZB2005, held in the United Kingdom, 13–15 April 2005. The local organizers were Prof. Steve Schneider and Dr Helen Treharne.

An ABZ 2008 conference was held at the BCS offices, London, UK, 15–18 September 2008. The event was supported by BCS-FACS and covered ASM, B and Z. The chairs were Egon Börger (ASM), Jonathan Bowen (Z) and Michael Butler (B) and Paul Boca (local organization).

Lists of previous ZUG committee members for earlier Z User Meetings are available, linked from the ZUM page.

See also

External links

Contact Jonathan Bowen for further information.
Maintained by Jonathan Bowen as part of the Z archive.
Last updated 3 August 2018.