Next conference:
ABZ 2008,
British Computer Society,
London, UK, 16-18 September 2008
Last conference:
ZUM 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. Currently the officers are:
The following are ZUG steering committee members and a star (*) indicates a ABZ 2008 programme committee member:
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.
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 in planned at the BCS-FACS and will cover ASM, B and Z. The chairs will be Egon Börger (ASM), Jonathan Bowen (Z) and Michael Butler (B) and Paul Boca (local organization).
Lists of previous ZUG committee members for the 1994, 1995, 1997, 1998, 2000, 2002, 2003, 2005, 2006 and 2007 meetings are available.
See also:
Maintained by Jonathan Bowen as part of the Z archive.
Last updated 18 October 2007.