| Z User Group Z User Group (ZUG) Next conference:
,
British Computer Society,
London, UK, 16-18 September 2008 Last conference:
, 17th International Z User Meeting, part of
, Auckland, New Zealand,
11 July 2007 The exists to promote use and development of the
, a specification language for the description of and
reasoning about computer-based systems.
It was formally on Monday 14th December 1992 during
.
Currently the officers are: Chair: ,
, UK Secretary:
USA Treasurer:
,
, UK The following are ZUG steering committee members and
a star (*) indicates a ABZ 2008 programme committee member: ,
, Japan ,
, Reading, UK *
,
, UK
(Programme Co-Chair) ,
, UK * ,
, UK
, UK ,
, UK ,
, USA *
,
, UK ,
, UK *
USA ,
, USA *
,
, USA ,
, UK *
,
, Grenoble, France ,
, UK *
,
, New Zealand ,
, Ottawa, Canada ,
,
Germany ,
, Australia UK ,
, UK *
,
, New Zealand *
,
, USA ,
, UK The main activity of the committee members is to organize and
act as programme committee for the
.
(aka the International Conference of Z Users).
From 2000 to 2005 this was organized jointly in cooperation with the (APCB) as the
International Conference of B and Z Users. The last ZB meeting was , held in the
, 13-15 April 2005.
The local organizers were and . An ABZ 2008 conference in planned at the offices, London, UK, 15-18
September 2008.
The event will be supported by and will cover
, and Z.
The chairs will be (...
|
