* 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.

  1. Open a mailer to the address zforum-request@comlab.ox.ac.uk.
  2. In the message (not the subject line) type the single word subscribe (to join) or unsubscribe (to leave).
  3. 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.


Name:

Email:

Request:

To submit your request, press this button: ...Restart:

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. (New)


A service provided by Jonathan Bowen as part of the Z archive.