From: Mark U. <ma...@cs...> - 2006-08-11 10:33:32
|
Dear Z 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. 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... Mark 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: ma...@cs... |