User Group Meeting

Z User Group Meeting (ZUG)

The

Organizer: Jonathan Bowen, The University of Reading, UK.

This meeting is in three separate sessions which may be attended independently if desired. The Educational Issues sessions is intended to be a forum for educators in the area of formal methods in general and the Z formal specification notation in particular. The Z/EVES session will provide an introduction to the Z/EVES tool that allows machine type-checking, proof assistance, etc., for Z specifications, including recent changes to the tool. The Z Standard session will provide a brief history, introduction and status report of the proposed ISO standard for the Z notation. All those with an interest in Z are invited to attend.

Three 1½ - 2 hour sessions are planned:

1. Thursday 23 Sept., 10.30am-12.30pm:
   Educational Issues session.
   Organizer: Neville Dean, Anglia Polytechnic University, UK (email c.n.dean@anglia.ac.uk)

2. Thursday 23 Sept., 2.00pm-3.30pm:
   Z/EVES Tool session.
   Organizer: Mark Saaltink, ORA, Canada (email mark@ora.on.ca)

3. Friday 24 Sept., 10.30am-12.30pm:
   Z Standard session.
   Organizer: Steve King, University of York, UK, Deputy Convenor of ISO/BSI Z Standardisation Panel (email king@cs.york.ac.uk)

   The session will include major contributions from several panel members, from UK, USA, Canada, all acknowledged Z experts, and will consist of:

   • Introduction: history, the ISO process and where we currently are;
   • Innovations: how is Standard Z different, and why;
   • Tutorial: a brief explanation of how to read the Standard;
   • Extended Q&A session: a chance for the average Z user to get his questions about the Standard answered.

Please contact the relevant organizer if you are interested in contributing to the sessions above or wish to find out more information on a specific session.

Meeting organizer:

For information on the Z User Group, see:

See also International Conference of B and Z Users (ZB2000), York, UK, 29 August - 2 September 2000.