Jonathan.Bowen@prg.oxford.ac.uk (Jonathan Bowen) (06/19/91)
************************
* RESULT OF VOTING *
************************
This is the result of voting for the creation of the newsgroup
comp.specification.z. It has passed 194:40.
For: 196
Against: 40
Total: 236
Duplicates: 5 (all yes votes, 2nd vote eliminated)
Late vote: 1 (yes vote, not included)
Difference: 156 (>100)
Majority: 83% (>67%)
COMMENTS:
The voting period ended at 23:59 GMT on Saturday, 15th June. Nobody
changed their vote.
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.
Most people against the creation of the newsgroup who added comments
thought that comp.specification was already adequate.
Please check that you are on the list below if you think you have
voted. There will be the usual 5 day period for amendment of votes if
necessary. Please send amendments to <zforum-request@prg.oxford.ac.uk>.
Unless something very unexpected happens, the newsgroup will be created
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.
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 200 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 c80
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.)
LIST OF VOTES
Votes for:
Abdullah Mohd Zin <amz@cs.nott.ac.uk>
abowd@minster.york.ac.uk
aea@csres.cs.reading.ac.uk (Ali Ezzat Abdallah)
agoodloe@gmuvax2.gmu.edu (Alwyn Goodloe)
ajos@tardis.cs.ed.ac.uk
Alan Ruttenberg <alanr@media-lab.media.mit.edu>
ALLEN@BIO-MEDICAL-PHYSICS.ABERDEEN.AC.UK
Ananda Amatya (STAFF) <ananda@csboojum.cov.ac.uk>
Andrew Martin <apm@praxis.co.uk>
Andrew P. Black <black@crl.dec.com>
andrewa@cs.uq.oz.au
Andy Gravell <A.M.Gravell@ecs.soton.ac.uk>
Andy.Gordon@cl.cam.ac.uk
andyc@minster.york.ac.uk
Ann Petrie <Ann.Petrie@newcastle.ac.uk>
Anthony Hall <jah@praxis.co.uk>
anthony@cs.uq.oz.au
Arnulf Mester <mester@unido.informatik.uni-dortmund.de>
bard@cs.cornell.edu (Bard Bloom)
barry@loki.une.oz.au (Barry Wilks)
BERTRAND IBRAHIM <IBRAHIM@uni2a.unige.ch>
bieman@CS.ColoState.edu (james bieman)
Bill Ferreira <bill@cs.warwick.ac.uk>
BILL MILAM <MILAM@srlvx0.srl.ford.com>
bl@oasis.icl.co.uk (Bob Lyon)
BOYD@VAX1.ELECTRICAL-ENGINEERING.MANCHESTER.AC.UK
Brad Broom <bmb@anucsd.uucp>
brendan@cs.uq.oz.au
Brian E. Danilko <bed@swdev.waterloo.ncr.com>
Bryan M. Andersen <bmandrsn@umaxc.weeg.uiowa.edu>
bwhite@inmet.inmet.com (Bill White)
caasi@ucselx.sdsu.edu (richard)
Cal Taylor <ctaylor@dakota.uswest.com>
Christian S. Collberg <Christian.Collberg@dna.lth.se>
Christopher Dodge <dodge@biomed.abdn.ac.uk>
Clive Tong <Clive.Tong@cl.cam.ac.uk>
Conor O'Neill <conor@inmos.co.uk>
csr <csr@gec-mrc.co.uk>
D P Mallon <dpm@dcs.leeds.ac.uk>
Danielle Fowler <danielle@cutmcvax.cs.curtin.edu.au>
Dan_Jacobson@ATT.com
davec@cs.uq.oz.au
David Barton <dlb@i2wash.com>
David Brazier <davidb@logcam.uucp>
David Brownbridge <drb@praxis.co.uk>
David Ellis <dpe1@praxis.co.uk>
David Lester <dlester@cs.man.ac.uk>
David Seal <dseal@armltd.co.uk>
David.Garlan@H.GP.CS.CMU.edu
deby@cs.utwente.nl (Rolf de By)
DillerAR@cs.bham.ac.uk
DODGE@BIO-MEDICAL-PHYSICS.ABERDEEN.AC.UK
Donatella Castelli <CASTELLI@ICNUCEVM.CNUCE.CNR.IT>
Doohwan Bae <dbae@azalea.cis.ufl.edu>
drd%siia.mv.com%decvax@decwrl.dec.com (David Dick)
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
esj%harvee@uunet.UU.net (Eric S Johansson)
ewoods@hemel.bull.co.uk (Eoin Woods)
Fiona Hayes <fmh@hplb.hpl.hp.com>
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>
Graham <roger@sun.com.manp.ac.uk>
Graham Dumpleton <grahamd@otc.research.otca.oz.au>
Greg Michaelson <greg@cs.hw.ac.uk>
guttman@linus.mitre.org
Haim Kilov <haim%taichi@bellcore.bellcore.com>
Hamish Reid <hamish@sybase.com>
hammons@cse.uta.edu (Bud Hammons)
hammons@csl.dl.nec.com (Bud Hammons)
Heinrich Nirschl <se_nir@rcvie.uucp>
Heinz Saria <se_saria@rcvie.uucp>
Helen Beaumont <hb@leicp.ac.uk>
hinton%gca@uunet.UU.net (Edward Hinton)
Howard Houghton <ttehph@aie.lreg.co.uk>
howard s goodman <csubw@cu.warwick.ac.uk>
Iain Craig <idc@cs.warwick.ac.uk>
Iain Fogg <iain@cs.uq.oz.au>
Ian Bridge <ianb@cs.warwick.ac.uk>
ianh@cs.uq.oz.au
iglewski@qucis.queensu.ca (Michal Iglewski)
Ignacio.Trejos-Zelaya@prg.oxford.ac.uk
ISSLCC@NUSVM.EARN
J Eric Townsend <JET@UH.EDU>
Jack Slingerland <jacks%pogo.wv.tek.com@RELAY.CS.net>
Jacob Gore <jacob@blackbox.gore.com>
James McKim <jcm@mstr.hgc.edu>
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 A. Colton <jco@goanna.cs.rmit.oz.au>
John Bromell <jyb@camcon.co.uk>
John.Nicholls@prg.oxford.ac.uk
johng@otc.research.otca.oz.au
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
jpb%xdos.uucp@apple.com (John Banning)
Jeff Scott <jscott%mandata@uunet.UU.net>
kae@itd.dsto.oz.au (Katherine Eastaughffe)
Karel De Vlaminck <kdv@cs.kuleuven.ac.be>
Karen Rosenberg <karenr@otc.research.otca.oz.au>
kebera@alzabo.ocunix.on.ca (Krishna E. Bera)
Kent Paul Dolan <xanthian@zorch.sf-bay.org>
Kevin.Lano@prg.oxford.ac.uk
king@cs.uq.oz.au
Kwok K Kong <s884768@yallara.cs.rmit.oz.au>
Laurence Renshaw <lrenshaw@axion.bt.co.uk>
Lesley Semmens <INFSLESLEY@PRIMEB.LEEDS-POLY.AC.UK>
linje@Texaco.com (Jeff Lin)
lippe@serc.nl (Ernst Lippe)
lucyc@softway.sw.oz.au (Lucy Chubb)
Luke Wildman <wild@cs.uq.oz.au>
M West <mmwest@dcs.leeds.ac.uk>
madey@qucis.queensu.ca (Jan Madey)
maris@itd.dsto.oz.au (Maris Ozols)
Mark Ardis <maa@SEI.CMU.edu>
martelli@cadlab.sublink.org (Alex Martelli)
Martin Carstensen <cash@degas.uni-koblenz.de>
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>
mbm@dsbc.icl.co.uk (Malcolm Mladenovic)
Meng Tan <rcsmk@minyos.xx.rmit.oz.au>
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>
mjl@cs.rit.edu (Michael J Lutz)
Nelson Cheng <nc@goanna.cs.rmit.oz.au>
nic <nic@gec-mrc.co.uk>
Nigel Ward <nigel@cs.uq.oz.au>
pammann@gmuvax2.gmu.edu (Paul Ammann)
Paul Martin <pmar@lfcs.ed.ac.uk>
Paul Mukherjee <paulm@cs.rhbnc.ac.uk>
Paul Swatman <swatman@cutmcvax.cs.curtin.edu.au>
PAV_HALL@VAX.ACS.OPEN.AC.UK
Pete Natali <MBAPN@ROHVM1.EARN>
pete@minster.york.ac.uk
Peter Hancock <hancock%movies.enet.dec.com@RELAY.CS.net>
Peter Mortensen <pm@control.auc.dk>
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>
Pierre-Yves Schobbens <pys@info.ucl.ac.be>
pjm@pandanus.ntu.edu.au (Phil Maker)
pjw@minster.york.ac.uk
R.B.Jones@win0103.icl.icl.gold-400.gb
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>
Richard Wallace <wallace@cookie.enet.dec.com>
Rob Turner <rst@cs.hull.ac.uk>
Robin Nicholl <robin@csd.uwo.ca>
rose@cs.uq.oz.au
Ruaridh Macdonald <macdonald@ccint1.rsre.mod.uk>
Sascha Wildner <swildner@channelz.gun.de>
saxena%bronze%motcid@uunet.UU.net (Garurank P. Saxena)
sdr@Atex.Kodak.com (Steve Rogers)
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
steph@blanche.ICS.UCI.edu
Stephen J Bevan <bevan@cs.man.ac.uk>
Stephen Karamatos <steve@CS.UWindsor.Ca>
Stephen.Brien@prg.oxford.ac.uk
Steve Fagg <S.L.Fagg@stl.stc.co.uk>
Steve Russ <sbr@cs.warwick.ac.uk>
Sukhvinder <saujla@axion.bt.co.uk>
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>
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
wkh@dce.austin.ibm.com (Ward K. Harold)
zedan@minster.york.ac.uk
Votes against:
Arne Skou <ask@iesd.auc.dk>
Bob Fields <bob@cs.man.ac.uk>
Bob Weissman <bob@omni.com>
bourd@cps.msu.edu
cdr@AMD.com (Carl Rigney)
Cliff B Jones <cliff@cs.man.ac.uk>
Craig Burley <burley@ug.cs.dal.ca>
david@elroy.Jpl.Nasa.gov (David Robinson)
Don Sannella <dts@lfcs.ed.ac.uk>
frincke@iris.eecs.ucdavis.edu (Debbie Frincke)
gill@noether.MITRE.org (Dorothy Helen Gill)
goehring@mentor.cc.purdue.edu
ian@cambridge.oracorp.com (Ian Sutherland)
ilham@athena.mit.edu
James Weiss <jweiss@ukelele.uucp>
John McHugh <mchugh@cs.unc.edu>
jones@greg.cs.usu.edu
Joseph Gil <yogi@cs.ubc.ca>
KI <kaiya@cs.titech.ac.jp>
Kim DeVaughn <ked01@juts.ccc.amdahl.com>
Kjetil Wiekhorst J|rgensen <jorgens@lise.unit.no>
kjones@src.dec.com (Kevin Jones)
mackac@infonode.ingr.com (Audrey C Mack)
Marc Benveniste <Marc.Benveniste@irisa.fr>
Mark S Madsen <msm@comp.lancs.ac.uk>
Mike.Spivey@prg.oxford.ac.uk
peirce@gumby.cc.wmich.edu (Leonard J. Peirce)
Pete Young <pyoung@axion.bt.co.uk>
punisher@daimi.aau.dk
Rod Bark <rsb@hplb.hpl.hp.com>
rthomson@dsd.es.com (Rich Thomson)
rudolf@curano.imp.com (Rudolf Kuenzli)
schaller@hsi86.hsi.com (Dave V. Schaller)
Scott Barman <scott@nbc1.ge.com>
sean@aipna.ed.ac.uk
sigurd@eik.ii.uib.no (Sigurd Meldal)
straub@cs.UMD.edu (Pablo A. Straub)
tar@math.ksu.edu (Tim Ramsey)
Timothy VanFosson <timv@cadfx.ccad.uiowa.edu>
Tony Rush <twr@hplb.hpl.hp.com>
Duplicate yes votes (2nd vote not counted):
Ian Bridge <ianb@cs.warwick.ac.uk>
Ignacio.Trejos-Zelaya@prg.oxford.ac.uk
John.Nicholls@prg.oxford.ac.uk
kae@itd.dsto.oz.au (Katherine Eastaughffe)
Peter Hancock <hancock%movies.enet.dec.com@RELAY.CS.net>
Late yes vote (not counted):
Ken Robinson <kenr@spectrum.cs.unsw.oz.au>
--
Jonathan Bowen, <Jonathan.Bowen@prg.oxford.ac.uk>
Programming Research Group, Oxford University Computing Laboratory.