Call for Tool Demonstrations

ZUM'98

11th International Conference of Z Users

Organized by the Z User Group
In cooperation with Daimler-Benz Research Berlin, GMD and TU Berlin
Sponsored by Daimler-Benz and Praxis Critical Systems
Supported by BCS-FACS

Berlin, Germany
24-26th September 1998

The 11th International Conference of Z Users (ZUM'98) will be held at Berlin, Germany, 24-26 September 1998. For more information about the conference, see:

Companies, institutes, and researchers are invited to exhibit tools related to Z and formal methods. Topics of interest include, but are not limited to:

• tools for analyzing, verifying and executing specifications
• tools for systematic testing on the base of specifications
• tools for editing, visualizing and browsing specifications
• tools which combine Z and formal methods with other software engineering techniques and tools
• tools which provide integration frameworks

The tool exhibition will be held in parallel with the main conference, 24-26 September 1998, in a room close to the main conference room. Internet connectivity and a limited numer of Sun workstations can be provided if necessary. The room will be accessible starting at 12 noon, Wednesday 23rd September 1998 (the day before the main conference starts). If there is demand, we can organize a schedule for short informal talks about tools. In particular, 12.00-12.30, Friday 25th September 1998 is allocated to tool demonstration presentations.

Please send a short description of your intended tool demonstration, or any further questions you have, to:

Wolfgang Grieskamp
TU Berlin, Germany
Email: wg@cs.tu-berlin.de

• if a workstation is required (note that we can provide only a limited number of Solaris 2 stations). You will be assigned an account at beginning of September for remote preparation of the demonstration.

• whether Internet access is required for your own workstation, and if so, which kind of ethernet connector is needed. (In case you need Internet access, you will be assigned a local IP address, and need to be able to reconfigure your workstation for this address.)

• whether you are interested in giving a short talk about your tool.