Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!uwm.edu!psuvax1!rutgers!soleil!mlb.semi.harris.com!mintaka.mlb.semi.harris.com!john
From: john@mintaka.mlb.semi.harris.com (John M. Blasik)
Newsgroups: comp.specification.z
Subject: Re: What is this group (was Test)
Message-ID: <1991Jun27.042414.7381@mlb.semi.harris.com>
Date: 27 Jun 91 04:24:14 GMT
References: <2161@uqcspe.cs.uq.oz.au> <richard.677975691@mungarra>
Sender: news@mlb.semi.harris.com
Organization: Harris Semiconductor, Melbourne FL
Lines: 40
Nntp-Posting-Host: mintaka.mlb.semi.harris.com

richard@mungarra.asis.unimelb.edu.au (Richard Begg) writes:
>anthony@cs.uq.oz.au (Anthony Lee) writes:
>
>>This is a test to see if this is a real group.
>>Noted the distribution.
>
>Well it didn't work... I got it in Melbourne, I wonder if 'uq' distribution
>is actually recognised by anyone.  

I think uq must be the Melbourne distrubution or something.

>Anyone know what this group is about? (I've always wanted to ask this!)

From the control message:

comp.specification.z is an unmoderated newsgroup which passed its vote for
creation by 194:40 as reported in news.announce.newgroups on 19 Jun 1991.

For your newsgroups file:
comp.specification.z	Discussion about the formal specification notation Z.

The charter, culled from the call for votes:

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.


>
>--
>
>Richard Begg (richard@asis.unimelb.edu.au)
>Programmer ASIS/ITS - University of Melbourne

-- john@mlb.semi.harris.com