Virtual Library
Formal Methods
Z Notation
ZFORUM mailing list request
This page contains instructions for joining and leaving the ZFORUM
mailing list. For details about the postal Z mailing list please
see below.
Important note: ZFORUM is available via the gatewayed
comp.specification.z newsgroup. Please read ZFORUM via
the newsgroup rather than joining the mailing list if possible
to save on network resources.
If possible, please use the automatic server to join and leave the
ZFORUM mailing list. This is done as follows.
- Open a mailer to the address zforum-request@comlab.ox.ac.uk.
- In the message (not the subject line) type the single word
subscribe (to join) or unsubscribe (to
leave).
- Send the message and close the mailer.
You should receive a response by mail telling you whether your request was
successful. In addition, when you successfully join the list you will receive
a welcome message containing basic information about the mailing list.
If all else fails then please use this form to join or leave the ZFORUM
mailing list. The contents of this form will be sent to the list owner
who will carry out your request manually. You may also make comments and
suggestions concerning the Z archive if
you wish. Please note that questions about Z itself should be directed
to the mailing list once you have joined.
Postal Z mailing list
If you wish to be added to the postal Z mailing list, used
mainly to announce
Z meetings, please
email your postal address and contact details such as fax,
telephone number, etc., to
Amanda Kingscote on
ark@praxis-cs.co.uk,
thank you.
The
Z User Group is grateful to
Praxis Critical Systems for maintaining the
postal mailing list.
A service provided by
Jonathan Bowen
as part of the
Z archive.