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!daemon From: ZFORUM newsletter Newsgroups: zforum Subject: Z Forum Issue 4.4 Message-ID: <8911201913.AA00796@uk.ac.oxford.prg.client60> Date: 20 Nov 89 19:55:25 GMT Date-Received: 20 Nov 89 19:56:51 GMT Lines: 403 Original-Date: Mon, 20 Nov 89 19:13:54 GMT 20th November 1989 Z FORUM Volume 4 Issue 4 ------------------ ------- ---------------- Today's Topics -------------- Administrivia news group discussion Z bibliography Z Users Meeting announcement --------------------------------------------------------------------- From: Jonathan Bowen Date: Mon, 20 Nov 89 18:28 Subject: Administrivia This is to apologise for the lack of ZFORUM for the last few months. This is due partly to lack of messages, but also because RSRE have updated their computer system and since they forgot to formally specify it first are now having e-mail problems. :-) Ruaridh Macdonald's new e-mail address is although the old address will remain available for a while. As a result of the above, this edition of ZFORUM is being issued from Oxford. We hope that Ruaridh can resume his valuable role as ZFORUM editor in the future. In any case, you can send items for ZFORUM to and requests to join or leave ZFORUM or changes of e-mail address to on JANET. -- Jonathan Bowen (temporary ZFORUM editor), PRG, Oxford. JANET: zforum@uk.ac.oxford.prg NSFnet: zforum%prg.oxford.ac.uk@nsfnet-relay.ac.uk UUCP: zforum@ox-prg.uucp (...!uunet!mcvax!ukc!ox-prg!zforum) --------------------------------------------------------------------- From: Sean Matthews Date: Tue, 24 Oct 89 17:17:13 BST Subject: news group discussion God! this mailing list has gone dead recently. Has nobody had anything contentious to say even about 00-55? how about `00-55 is going to put back the widespread use of formal methods by a decade'. Anyway, I just though that you would all like to know that a discussion has started on usenet about setting up a newsgroup to deal with issues in formal specification generally. I personally think that this would be an excellent idea, and would provide a lot of cross fertilisation of ideas. Not to mention making the ideas more widely known (after all if you are a subscriber to this mailing list then you must have had active reason for it; people who do not currently know cannot listen in passively; unlike on news), and the larger (in the sense of the entire western world, and in the sense of wider range of techniques instead of just `Z') community might generate more debate. So if you think this would be a good idea, you can have some influence on the debate (which in practice boils down to `what will we call it?'). Calls for discussion are in the expected places; the discussion proper is in `news.groups'. Sean --------------------------------------------------------------------- From: Jonathan Bowen Date: Wed, 25 Oct 89 10:37 Subject: Z bibliography I will be updating the Z bibliography again this year, with a view to handing out an updated version at the Z Users Meeting. Please send possible entries to me, preferably via e-mail, so that we can make the bibliography as complete and up to date as possible. Forthcoming papers, books, etc., may be included if there is a definite publication date. Please include as much information as possible (e.g., author(s), title, journal, publisher, volume/number, pages, date, ISBN, price, etc., as appropriate). -- Jonathan Bowen Oxford University Computing Laboratory Programming Research Group 8-11 Keble Road Oxford OX1 3QD England TEL: +44-865-272574 (direct), +44-865-273840 (secretary) FAX: +44-865-272582 or 273839 ATTN J.P.Bowen COMLAB JANET: bowen@uk.ac.oxford.prg NSFnet: bowen%prg.oxford.ac.uk@nsfnet-relay.ac.uk UUCP: bowen@ox-prg.uucp (...!uunet!mcvax!ukc!ox-prg!bowen) --------------------------------------------------------------------- From: Jonathan Bowen Date: Mon, 20 Nov 89 18:28 Subject: Z Users Meeting announcement OXFORD UNIVERSITY COMPUTING LABORATORY PROGRAMMING RESEARCH GROUP 4th annual Z Users Meeting Friday 15th December 1989 Rewley House Wellington Square Oxford together with an additional Z Technical Meeting Thursday 14th December 1989 Wolfson College Oxford Programme Committee Jonathan Bowen, PRG Oxford Dr D A Duce, RAL Chilton Prof Pat Hall, Brunel University Tim Hoverd, Logica Research Peter Lupton, IBM Hursley John Nicholls, PRG Oxford (Chairman) Dr Chris Sennett, RSRE Malvern Z USERS MEETING Rewley House, Wellington Square, Oxford Friday 15th December 1989 This meeting provides an opportunity for Z users to meet and hear of recent developments in both the theoretical and practical aspects of Z. Papers submitted include: user experiences by IBM, ICL, Praxis theoretical papers by British Aerospace, Univ. of Queensland, PRG tools and techniques by BT, Logica, Racal Case Studies by RSRE, South Bank Poly Other papers by Cranfield, South Bank Poly, Southampton University Registration fee: 55 pounds includes copies of all submitted papers and other information, lunch and refreshments. Agenda 09.00 onwards Registration, coffee 09.25 - 09.30 Opening remarks Keynote address by 09.30 - 10.00 Brian Oakley CBE President BCS 10.00 - 13.00 Morning session (break at 11.00) 13.00 - 17.30 Lunch provided in Rewley House Tool demonstrations 14.00 - 17.30 Afternoon session (break at 15.00) 17.30 Close Z TECHNICAL MEETING Wolfson College, Oxford Thursday 14th December 1989 This year we have received a number of excellent technical papers, not all of which can be presented at the user meeting. This special meeting has been arranged to enable authors to present their papers in full, with adequate time for discussion. The papers will be selected from those submitted (see previous page). Those attending should have some knowledge of Z and its use in development. Registration fee: 30 pounds to include copies of papers presented, lunch and refreshments. Agenda 09.30 onwards Registration, coffee 10.00 - 13.00 Morning session (break at 11.30) 13.00 - 14.15 Lunch provided in Wolfson College 14.15 - 17.30 Afternoon session 17.30 Close The meeting is in the Haldane Room, Wolfson College, Linton Road, Oxford. Linton Road is a turning off the Banbury Road, North Oxford, and Wolfson College is at the end of the road. Other information Posters: You are invited to send (by 30th November if you wish them to be bound with the presented papers) posters describing research related to the use of Z. Posters should be A4 in size and provide a title, description, and the name and address of the author. Z Forum: For those with access to a computer network, newsletters about Z are published regularly in the Z Forum. Details of this may be obtained from Mr. Ruaridh Macdonald at RSRE, St Andrew's Road, Great Malvern, Worcs WR14 3PS. Telephone: (0684) 892733 (e-mail: MACDONALD@uk.mod.hermes). He will probably be present at the meeting and will be able to give you more information. One of the valuable functions of the Z Forum is to compile details of all the current papers published and unpublished which are available in Z at the moment. At the meeting a shorter list of references will be handed out containing the most useful references. Travel Arrangements: Car Parking is notoriously difficult in Oxford. However, for the Z Technical Meeting at Wolfson College, there is a car park. There is also street parking close to the college at the end of Linton Road. For the Z User Meeting in Rewley House, there is a multi-storey car park and a Park-and-Ride scheme. A preferable alternative would be to travel by rail (BR station is 10-15 minutes walk). Accommodation: A limited number of rooms have been booked at Rewley House for the Thursday night (14th December). These will only be held until 30th November. Reservations should be made directly with Lorna Morrison at Rewley House as soon as possible - Phone No. (0865) 270360. Alternative accommodation booking service: Oxford Information Centre, telephone (0865) 726871. Organising Secretary: Joan Arnold Programming Research Group Oxford University Computing Laboratory 11 Keble Road OXFORD OX1 3QD Tel: (0865) 272579 Fax: (0865) 273839 OXFORD UNIVERSITY COMPUTING LABORATORY PROGRAMMING RESEARCH GROUP REGISTRATION FORM Z Users Meeting : Friday 15th December 1989 and Z Technical Meeting : Thursday 14th December 1989 Please make the following reservations: a place at the Z User Meeting (15th December) at 55 pounds ________ a place at the Z Technical Meeting (14th December) at 30 pounds ________ Total ________ I enclose a cheque for __________ pounds payable to O.U.C.L. OR Please send invoice to. Name:................................................. Address:................................................. ......................................................... ......................................................... Name (in full):................................................................ Organisation:.................................................................. ............................................................................... ............................................................................... Telephone:......................................Fax:........................... Register of Z Users I am willing for my name to be listed on a Register of Z Users, for distribution at the Z User Meeting. _____ Using Z for software development _____ teaching Z _____ building tools and/or environments for Z _____ carrying out research on Z Signed _____________________________ Please complete a separate form for each participant (photocopies acceptable) and return by 1st December to: Joan Arnold Tel: (0865) 272579 Programming Research Group Fax: (0865) 273839 ATTN J.Arnold, COMLAB Oxford University Computing Laboratory JANET: joan@uk.ac.oxford.prg 11 Keble Road UUCP: joan@ox-prg.uucp OXFORD OX1 3QD ...!uunet!mcvax!ukc!ox-prg!joan | | Linton Road | |--------------------- Wolfson College |-------| | |__ | | | Car Park -----------|-------| Bardwell Road / St. Margaret's|Road |----------------- | | | |\ Park Town | | ------------ |-------|/ | | | Norham Road | |---|---------------- | | | / |-------| / W| | / o| |/ o| B|\ d| a| \ s|R n|R \ \ t|o b|o \ \ o|a u|a \ University Parks \ c|d r|d \ \ k| y| \ \Little | | [8-11]\ |--------| |--------\ W|Clarendon / |Keble |P a| Street \ / \ Road |a Science Area l| ---- \ / \ |r t| | | \ /QEH | |k Jericho o| ---- | -------|s South Parks Road n| |Rewley |S |---------------------- S | |House |t | |[2] M| Halifax | t S| | |. |R Car a| House | . t| |PuseySt| |o Park n| | R r| |-------|G |a s| | C o e| | |i |d f|R | r a e|Beau|mont St|l | i|o \ o d t|------------|e | e|a |s |Bus | |s | l|d |s Hythe |Stn.| | | d| / ---------|------------|------------|---------------------\ B.R. /Bridge St| George St. | Broad St. | Holywell St. | Station / | | | | --------------------| Park|End St. CENTRAL OXFORD | V To multi-storey Car Park 5 ASCII characters is *very* roughly a 100 meters! ************************ END OF Z FORUM 4.4 ************************