Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!uunet!mcsun!ukc!mucs!cliff From: cliff@cs.man.ac.uk (Cliff Jones) Newsgroups: comp.specification Subject: SafetyNet Conference - proceedings Message-ID: <1890@m1.cs.man.ac.uk> Date: 6 Nov 90 15:54:43 GMT Sender: news@cs.man.ac.uk Reply-To: cliff@cs.man.ac.uk (Cliff Jones) Organization: Department of Computer Science, University of Manchester UK Lines: 23 SafetyNet'90 After I posted the announcement/programme of this conference several people asked how they could get proceedings. I said at the time that I thought it was unlikely that there would be any (and lost the e-mail messages!) I was wrong: there were preprints at the conference and a second version will be printed with transcripts of the discussions. Pls contact: Liz Kerr, Charter Technologies Ltd., PO Box 79 19, Trinity St., Worcester WR1 2PX U.K. Fax ++ 44 905 612829 cliff jones