[Prev][Next][Index]

CFV: comp.specification.{larch,misc}


    Since this is being redistributed via a mailing list, please double 
    check any return addresses if you reply.  Votes go one place, questions 
    about voting go somewhere else, and questions about the proposal go to a 
    third place.


- ------- Start of forwarded message -------
From: warren@syra.net (Warren Lavallee)
Newsgroups: news.announce.newgroups,news.groups,comp.specification,comp.specification.z
Subject: CFV: comp.specification.{larch,misc}
Followup-To: poster
Date: 1 May 1995 16:12:44 -0400
Organization: Usenet Volunteer Votetakers
Reply-To: voting@syra.net
NNTP-Posting-Host: rodan.uu.net

                          FIRST CALL FOR VOTES (of 2)
                  unmoderated group comp.specification.larch
   unmoderated group comp.specification.misc (replaces comp.specification)

Newsgroups line:
comp.specification.larch	Larch family of formal specification languages.
comp.specification.misc	Formal specification methods in general.

Votes must be received by 23:59:59 UTC, 22 May 1995.

This vote is being conducted by a neutral third party.  For voting
questions only contact Warren Lavallee <warren@Syra.NET>.  For
questions about the proposed group contact Gary Feldman <gaf@cam.ov.com>.

DISTRIBUTION
This CFV has been cross-posted to:
	comp.specification
	comp.specification.z
and EMailed to:
	larch-interest@src.dec.com

CHARTER

The comp.specification.larch newsgroup will be open to discusison on all
aspects of Larch.  This includes, but isn't necessarily limited to,
technical discussions, discussions of practical application, stylistic
issues, discussions of the mathematics underlying Larch, discussion
of any and all Larch Interface Languages, announcements of publications,
trait libraries, and software, discussions of particular Larch tools
(including bug reports that may be of interest to the general Larch
community, but not as a substitute for reporting uninteresting bugs to
the maintainer), etc.

The charter for the renamed comp.specification.misc will be unchanged
from the existing charter for comp.specification, i.e. general
discussion of formal specification methods, including discussion of
specific methodologies that do not have their own newsgroup.

RATIONALE

The Larch mailing list is getting unwieldy.  Discussions on the list
list are most frequently technical, specific to Larch, and
uninteresting to the other comp.specification readers.  We fully
expect that traffic patterns for the larch group will match those of
the existing z (zed) newsgroup.  Specifically, current traffic on
comp.specification.z usually exceeds that on comp.specification; we
would likewise expect traffic on comp.specification.larch to exceed
that of the general newgroup.  Hence, using the general newsgroup
would be unfair to other participants there, as well as being unfair
to other specification methodologies (and their proponents) that might
be lost among the Larch discussion.

The rationale for renaming comp.specification to be
comp.specification.misc is to conform to the currently recommended
naming strategy. This should have been done when comp.specification.z
was created, but was overlooked.

HOW TO VOTE

Erase everything above the top "-=-=-=-" line and erase everything
below the bottom "-=-=-=-" line. Do not erase anything between these
lines and do not change the group name. Basically, remove everything
except the ballot - we have to save them all on disk.

Give your name on the line that asks for it. Place a YES or NO in the
brackets next to the group name to vote for or against it. Don't
worry about spacing of the columns or any quote characters (">") that
your reply inserts.

Send MAIL to:   voting@Syra.NET
Just Replying should work if you are not reading this on a mailing list.

- -=-=-=-=-=- Don't Delete Anything Between These Lines =-=-=-=-=-=-=-=-
comp.specification-groups Ballot    <CS-0001> (Don't remove this marker)

Give your real name here:
If you do not give a real name your vote may be rejected.

[Your Vote]  Group
- -----------------------------------------------------------------------
[         ]  comp.specification.larch
[         ]  comp.specification.misc (replaces comp.specification)
- -=-=-=-=-=- Don't Delete Anything Between These Lines =-=-=-=-=-=-=-=-

Neither ABSTAIN nor CANCEL messages are counted as votes; they serve
only to cancel any previous vote. Abstentions are noted in the final
vote list, whereas CANCEL removes your vote from that list entirely.
(This is the only difference between the two.)

Anything else may be rejected by the automatic vote counting program.  The
votetaker will respond to your received ballots with a personal acknowledge-
ment by mail - if you do not receive one within several days, try again.
It's your responsibility to make sure your vote is registered correctly.

If you later change your mind you may vote again; only your last valid
vote will count.

Standard Guidelines for voting apply: no more than one vote per person,
no more than one vote per account. If you attempt multiple votes or
other vote fraud, all your votes may be canceled and your name published.

The complete vote list will be posted with the vote result, including
how each person voted. Note that Usenet votes are not done by secret
ballot.

There will then be a five-day period during which the published vote
list may be corrected and any irregularities addressed. The
requirements for group creation are 100 more YES votes than NO votes,
and 2/3 of all counted votes being YES.
- ------- End of forwarded message -------