Dear FMNet people,
In just less than 2 weeks time, we are holding a CZT
(Community Z Tools) seminar at York University, followed
by a CZT discussion and workshop afternoon.
Thursday, 24 August from 12:15 to 13:15 in CS103
You are all warmly invited. And please invite others who you
think might be interested to hear about CZT.
See http://czt.sourceforge.net for general information about CZT.
To help with planning, I'd appreciate it if you could send
me an email ([log in to unmask]) if you are planning to come.
Title: The Past, Present and Future of the Community Z Tools
Speakers: Mark Utting and Petra Malik
The University of Waikato, New Zealand
Abstract: This talk will give an overview of the goals and
history of the CZT project, a presentation of the current
tools and their capabilities, and a discussion of possible
future directions. The talk will include a brief
demonstration of several different interfaces to the
CZT tools (command-line, jEdit, Eclipse).
This talk is aimed primarily at Z users, so they can evaluate
the CZT tools, provide feedback and have some input into
future directions. After lunch, there will be
further discussions on CZT design, usability and technical
issues that all interested people are also welcome to join.
We hope to see you there...
Dr Mark Utting, Senior Lecturer, Dept. of Computer Science,
The University of Waikato, Private Bag 3105, Hamilton, New Zealand.
Phone: +64 7 838 4791 Web: http://www.cs.waikato.ac.nz/~marku
Fax: +64 7 858 5095 Email: [log in to unmask]