Relay-Version: version B 2.10.2 9/18/84 +2.11; site uk.ac.ox.prgv Posting-Version: version B 2.10.3 uknet 86/05/14; site uk.ac.oxford.prg Path: prgv!mkhadmin From: Ruaridh Macdonald (on UK.MOD.RSRE) Newsgroups: zforum Subject: Z Forum Issue 3.6 Message-ID: <31 OCT 1988 10:05:10 RM@RSRE> Date: 31 Oct 88 10:37:25 GMT Date-Received: 31 Oct 88 10:38:17 GMT Lines: 91 31st October 1988 Z FORUM Volume 3 Issue 6 ----------------- ------- ---------------- Today's Topic ------------- Z Users' Meeting --------------------------------------------------------------------- Date: Thu, 27 Oct 88 12:13:10 BST From: bowen@uk.ac.oxford.prg Subject: Z Users Meeting OXFORD UNIVERSITY COMPUTING LABORATORY PROGRAMMING RESEARCH GROUP Z Users Meeting Friday 16th December 1988 to be held in Department of External Studies 1 Wellington Square OXFORD This meeting provides an opportunity for Z users to meet each other, to hear of recent developments in both the theoretical and practical aspects of Z, and to express their views about the directions of future work. This is an initial announcement of the 3rd annual Z Users Meeting at Oxford. It will be held on Friday 16th December at the Dept. of External Studies (as last year). We are interested in hearing from anyone who would be willing to give a presentation. Here are some possible topics (but don't be put off if you want to talk about any other Z related area): * User reports -- experiences in using Z, good or otherwise, particularly from industry. * Education -- information about courses, ideas on how to present Z, etc. * Tools and environments for the use of Z. * Recent developments in Z and future directions. * Progress on the standardisation of Z syntax and semantics. * Refinement methods. A detailed agenda will be published soon and will include some or all of the above. There are also plans to hold two related events in Oxford on Thursday 15th December: * A tutorial on "Z Refinement Methods". * A workshop on "Z and the Software Development Process". Details of these and a registration form will be circulated via the Z FORUM electronic newsletter and to our mailing list. Please contact a member of the programme committee if you wish to give a presentation at the Z User Meeting, or Joanna Pulley if you require any other information. Programme committee: Jonathan Bowen John Nicholls Jim Woodcock Organising secretary: Joanna Pulley Oxford University Computing Laboratory Programming Research Group 8-11 Keble Road Oxford OX1 3QD TEL: 0865-272568 (Secretary) FAX: 0865-272412 ATTN J.Pulley COMLAB ************************** END OF Z FORUM 3.6 **************************