Jonathan Bowen <Jonathan.Bowen@prg.oxford.ac.uk> (05/30/91)
*************************
* SECOND CALL FOR VOTES *
*************************
This is the SECOND call for votes for the creation of the newsgroup
comp.specification.z. This includes a list of people who have voted so
far. Please check that you are on the list if you think you have voted.
Please read this article carefully before voting. The proposed
newsgroup is as follows:
NAME: comp.specification.z
STATUS: unmoderated
PURPOSE: Discussion concerning with the formal specification notation Z.
For the complete charter, motivation, etc., please see below.
VOTING PROCEDURE:
Send a message to <zforum-request@prg.oxford.ac.uk> with a subject
line consisting of one of the lines below:
yes for comp.specification.z
no for comp.specification.z
You may include a comment as a message if you like. Any unambiguous
vote will be accepted, but any message with "if"s attached to the vote
itself will be rejected.
The voting period ends at 23:59 GMT on Saturday, 15th June. Your vote
must be received before then to be counted.
COMMENTS:
The guidelines for successful creation of a new newsgroup require 100
more YES votes than NO votes, and that the YES votes be at least 2/3
of all valid votes cast.
CHARTER, MOTIVATION, ETC.:
Charter: Comp.specification.z is intended to handle messages concerned
with the formal specification notation Z. Z, based on set theory and
first order predicate logic, has been developed at the Programming
Research Group (PRG) at Oxford University for well over a decade. It is
now used by industry as part of the software (and hardware) development
process in both the UK and the US. It is currently undergoing
standardization. Comp.specification.z would provide a convenient forum
for messages concerned with recent developments and the use of Z.
Motivation: Comp.specification is currently the main location for
messages concerned with Z on USENET. However there is also a healthy
mailing list for discussion on topics concerning Z, known as Z FORUM,
which is run entirely separately at present. This was started in 1986
as an electronic newsletter by Ruaridh Macdonald at RSRE, Malvern, UK.
Since last year it has been run as a moderated mailing list by Jonathan
Bowen at the Oxford University Computing Laboratory. Currently there
are 195 subscribers from all over the world, including Europe, the US,
Australia and Japan; the number of subscribers grows weekly. Many of
the addresses are local redistribution lists, so the estimated
readership is several hundred. So far this year there have been c70
messages (i.e., around 200 messages per year); I would expect this rate
rise with the larger readership that a newsgroup would provide.
Moderation: I would suggest that the newsgroup should be unmoderated.
In the past year, I have found that the vast majority of messages for
Z FORUM have been relevant and have been sent out unedited. This would
also make discussion on the newsgroup easier.
Mailing list: I would be willing to maintain the Z FORUM mailing list
and cross-post articles between comp.specification.z and the mailing
list for those whose do not have access to USENET news. This applied
particularly to our industrial subscribers who we wish to encourage.
Archive: There is a mail-based electronic archive server at the PRG
which contains all the back-issues and messages on Z FORUM, as well as
a selection of other Z-related files. I would plan to continue to
archive messages on "comp.specification.z" on this server. (Send a
message containing the command "help" to <archive-server@prg.oxford.ac.uk>
for further information.)
MASS ACKNOWLEDGMENT OF VOTERS
If your name does not appear in the list below, your vote has not been
received. Please follow the voting and addressing instructions
carefully. Duplicate votes will be eliminated, so please resubmit your
vote if necessary.
List of voters, 12 noon, Wednesday 29 May:
agoodloe@gmuvax2.gmu.edu (Alwyn Goodloe)
ajos@tardis.cs.ed.ac.uk
ALLEN@BIO-MEDICAL-PHYSICS.ABERDEEN.AC.UK
Andrew Martin <apm@praxis.co.uk>
Andrew P. Black <black@crl.dec.com>
Andy Gravell <A.M.Gravell@ecs.soton.ac.uk>
Andy.Gordon@cl.cam.ac.uk
Anthony Hall <jah@praxis.co.uk>
anthony@cs.uq.oz.au
Arne Skou <ask@iesd.auc.dk>
Arnulf Mester <mester@unido.informatik.uni-dortmund.de>
barry@loki.une.oz.au (Barry Wilks)
BERTRAND IBRAHIM <IBRAHIM@uni2a.unige.ch>
BILL MILAM <MILAM@srlvx0.srl.ford.com>
Bob Fields <bob@cs.man.ac.uk>
Bob Weissman <bob@omni.com>
bourd@cps.msu.edu
BOYD@VAX1.ELECTRICAL-ENGINEERING.MANCHESTER.AC.UK
Brad Broom <bmb@anucsd.uucp>
brendan@cs.uq.oz.au
Cal Taylor <ctaylor@dakota.uswest.com>
cdr@AMD.com (Carl Rigney)
Christian S. Collberg <Christian.Collberg@dna.lth.se>
Christopher Dodge <dodge@biomed.abdn.ac.uk>
Cliff B Jones <cliff@cs.man.ac.uk>
Clive Tong <Clive.Tong@cl.cam.ac.uk>
Dan_Jacobson@ATT.com
davec@cs.uq.oz.au
David Brazier <davidb@logcam.uucp>
David Brownbridge <drb@praxis.co.uk>
David Lester <dlester@cs.man.ac.uk>
David Seal <dseal@armltd.co.uk>
david@elroy.Jpl.Nasa.gov (David Robinson)
deby@cs.utwente.nl (Rolf de By)
DODGE@BIO-MEDICAL-PHYSICS.ABERDEEN.AC.UK
Don Sannella <dts@lfcs.ed.ac.uk>
dsimon@eniac.seas.upenn.edu (Derron Simon)
elkassas@eb.ele.tue.nl (sherif el kassas)
Elspeth Cusack <elc@fmg.bt.co.uk>
endres@ASC.SLB.com
ernie@minster.york.ac.uk
ewoods@hemel.bull.co.uk (Eoin Woods)
frincke@iris.eecs.ucdavis.edu (Debbie Frincke)
Gavin Finnie <gavin@praxis.co.uk>
Gavin Oddy <gco@gec-mrc.co.uk>
George Row <CBYX33@MGVAX.ULSTER.AC.UK>
Glyn Normington <norm@winvmj.vnet.ibm.com>
goehring@mentor.cc.purdue.edu
Graham Dumpleton <grahamd@otc.research.otca.oz.au>
guttman@linus.mitre.org
Haim Kilov <haim%taichi@bellcore.bellcore.com>
Heinrich Nirschl <se_nir@rcvie.uucp>
Heinz Saria <se_saria@rcvie.uucp>
hinton%gca@uunet.UU.net (Edward Hinton)
howard s goodman <csubw@cu.warwick.ac.uk>
Iain Craig <idc@cs.warwick.ac.uk>
Iain Fogg <iain@cs.uq.oz.au>
ian@cambridge.oracorp.com (Ian Sutherland)
ianh@cs.uq.oz.au
iglewski@qucis.queensu.ca (Michal Iglewski)
Ignacio.Trejos-Zelaya@prg.oxford.ac.uk
J Eric Townsend <JET@UH.EDU>
Jacob Gore <jacob@blackbox.gore.com>
jbwords@winvmj.vnet.ibm.com
Jeffrey Thomas <thomas@aerospace.aero.org>
Jeremy Wilson <jcrw@fmg.bt.co.uk>
Jim Tubman <jbtubman@arcsun.arc.ab.ca>
Jim.Grundy@cl.cam.ac.uk
John Bromell <jyb@camcon.co.uk>
John McHugh <mchugh@cs.unc.edu>
John.Nicholls@prg.oxford.ac.uk
Johnstone_MN@cc.curtin.edu.au
JON@GAFFER.RAD.WASHINGTON.edu (Jon Jacky)
Jonathan Hammond <jarh@praxis.co.uk>
Jonathan Moffett <jdm@doc.ic.ac.uk>
Jonathan.Bowen@prg.oxford.ac.uk
Joseph Gil <yogi@cs.ubc.ca>
kae@itd.dsto.oz.au (Katherine Eastaughffe)
Karel De Vlaminck <kdv@cs.kuleuven.ac.be>
kebera@alzabo.ocunix.on.ca (Krishna E. Bera)
Kevin.Lano@prg.oxford.ac.uk
KI <kaiya@cs.titech.ac.jp>
Kim DeVaughn <ked01@juts.ccc.amdahl.com>
king@cs.uq.oz.au
Kjetil Wiekhorst J|rgensen <jorgens@lise.unit.no>
kjones@src.dec.com (Kevin Jones)
lippe@serc.nl (Ernst Lippe)
lucyc@softway.sw.oz.au (Lucy Chubb)
Luke Wildman <wild@cs.uq.oz.au>
mackac@infonode.ingr.com (Audrey C Mack)
Martin Fraenzle <mf@informatik.uni-kiel.dbp.de>
martins@spectrum.cs.unsw.oz.au (Martin Schwenke)
Mayer Schwartz <mayers%poseidon.labs.tek.com@RELAY.CS.net>
Michael Benjamin <benjamin@src.bae.co.uk>
michaelr@softway.sw.oz.au (Michael Rourke)
Michel Lemoine <lemoine@citroen.cert.fr>
Mike Godfrey <migod@csri.toronto.edu>
Mike.Spivey@prg.oxford.ac.uk
nic <nic@gec-mrc.co.uk>
Nigel Ward <nigel@cs.uq.oz.au>
Paul Swatman <swatman@cutmcvax.cs.curtin.edu.au>
PAV_HALL@VAX.ACS.OPEN.AC.UK
peirce@gumby.cc.wmich.edu (Leonard J. Peirce)
Pete Natali <MBAPN@ROHVM1.EARN>
pete@minster.york.ac.uk
Peter Hancock <hancock%movies.enet.dec.com@RELAY.CS.net>
Phil Stocks <phil@cs.uq.oz.au>
Phil Weiss <weiss872@snake.cs.uidaho.edu>
Phil.Richards@prg.oxford.ac.uk
Philippe Massonet <phm@info.ucl.ac.be>
pjm@pandanus.ntu.edu.au (Phil Maker)
pjw@minster.york.ac.uk
punisher@daimi.aau.dk
R.J. Stroud <R.J.Stroud@newcastle.ac.uk>
ramki@shakti.ernet.in (Rama Krishna)
rar@ads.com (Bob Riemenschneider)
rduke@cs.uq.oz.au
rhys@cs.uq.oz.au
Richard Taylor <rwt@ohm.york.ac.uk>
Rob Turner <rst@cs.hull.ac.uk>
Rod Bark <rsb@hplb.hpl.hp.com>
rose@cs.uq.oz.au
rthomson@dsd.es.com (Rich Thomson)
Ruaridh Macdonald <macdonald@ccint1.rsre.mod.uk>
rudolf@curano.imp.com (Rudolf Kuenzli)
Sascha Wildner <swildner@channelz.gun.de>
saxena%bronze%motcid@uunet.UU.net (Garurank P. Saxena)
schaller@hsi86.hsi.com (Dave V. Schaller)
sean@aipna.ed.ac.uk
sigurd@eik.ii.uib.no (Sigurd Meldal)
Simon Shaw <simons@tetrauk.uucp>
simon@cambridge.oracorp.com (Simon Foley)
sitaram@cs.washington.edu (Sitaram Raju)
smith@cs.uq.oz.au
Soren Larsen <larsen@imada.ou.dk>
srlm@di0001.ufpe.anpe.br
Stephen Karamatos <steve@CS.UWindsor.Ca>
Stephen.Brien@prg.oxford.ac.uk
Steve Fagg <S.L.Fagg@stl.stc.co.uk>
straub@cs.UMD.edu (Pablo A. Straub)
tar@math.ksu.edu (Tim Ramsey)
terry%apiary@uunet.UU.net (Terry Bush)
Tim Phillips <CIW3@VAXD.NEWCASTLE-POLY.AC.UK>
timc@cs.man.ac.uk
Timothy J. Gleeson <tjg@atr-sw.atr.co.jp>
Timothy VanFosson <timv@cadfx.ccad.uiowa.edu>
Tony Rush <twr@hplb.hpl.hp.com>
Trevor King <trevor@praxis.co.uk>
Trevor Nash <tnash@cix.compulink.co.uk>
vdvoort@cs.utwente.nl (Mark van de Voort)
wang@minster.york.ac.uk
wendy@cs.uq.oz.au
--
Jonathan Bowen, <Jonathan.Bowen@prg.oxford.ac.uk>
Programming Research Group, Oxford University Computing Laboratory.