A postal mailing list and an electronic mailing list are been maintained which allow information on activities of the ProCoS-WG Working Group to be distributed to those who have expressed an interest. To join the postal list, please contact Joan Arnold, the Working Group secretary at the same address as the author. To join the electronic list, send email with your contact details to:
procos-list-request@comlab.ox.ac.uk
Announcement and calls for papers/participation for open meetings and other relevant information are sent to these lists.
A postal mailing list of people particularly interested in Z is maintained by Praxis and an electronic ``ZFORUM'' mailing list of people interested in Z is maintained by Oxford (contact zforum-request@comlab.ox.ac.uk to join). The latter is gatewayed at Oxford to the international comp.specification.z electronic newsgroup with an estimated readership of over 30,000 worldwide. A similar electronic mailing list for VDM is also available. To subscribe, send an email message to mailbase@mailbase.ac.uk containing the line ``join vdm-forum name'' where ``name'' is your real name as two words (hyphenated if necessary).
Some on-line information on is available via anonymous FTP under the directory:
ftp.comlab.ox.ac.uk:/pub/Documents/procos
In addition, further information is available under the World Wide Web global hypermedia system under the WWW page:
http://www.comlab.ox.ac.uk/archive/procos.html
This includes links to several relevant FTP sites containing on-line versions of papers and reports which may be viewed conveniently using the mosaic WWW client program under the X window system and the lynx program on ASCII terminals. The World Wide Web provides a powerful facility for the provision of on-line information globally on the Internet, combining convenient access to FTP, Gopher, WAIS, USENET news as well as its own HTML format which provides the hyperlinks. If you have not tried WWW yet, I recommend it as a way of making available and accessing information in a convenient and global manner.
The Division of Information Technology and Computing at the National Physical Laboratory (UK) have launched a new bi-annual newsletter [32] that may be used to report ProCoS-WG-related activities. NPL is also proposing an Ada club aimed at companies using Ada in safety-critical applications. Any ProCoS-WG work that has relevance to the programming language Ada and safety-critical systems could also be disseminated through this club. Prof. John McDermid of the University of York has made a relevant presentation at Ada UK [30].