Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <05027-0@swan.cl.cam.ac.uk>; Mon, 4 May 1992 16:20:58 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA23766; Mon, 4 May 92 08:10:34 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from leopard.cs.uidaho.edu by ted.cs.uidaho.edu (16.6/1.34) id AA23762; Mon, 4 May 92 08:10:30 -0700 Received: by leopard.cs.uidaho.edu (16.7/1.34) id AA02956; Mon, 4 May 92 08:10:36 -0700 From: jimaf@edu.uidaho.cs.leopard (Jim Alves-Foss) Message-Id: <9205041510.AA02956@leopard.cs.uidaho.edu> Subject: Re: HOL 91 Proceedings - Request To: info-hol@edu.uidaho.cs.ted Date: Mon, 4 May 92 8:10:35 PDT In-Reply-To: ; from "GL Tredoux" at May 4, 92 3:44 pm Mailer: Elm [revision: 66.33] Gavan Trdoux writes: > > Jim Grundy writes > > > I see (well actually JVT sees and tells me) that the proceedings > > of the last HOL user meeting are now in IEEE's publications > > catalogue (albeit at a steep price). > > Could someone please supply more details here? For instance price, > publisher, best place for mail-ordering it. > > Gavan Tredoux > Lab. for Formal Aspects of CS > University of Cape Town > IEEE Computer Society Press Consumer Service Center 10662 Los Vaqueros Circle PO Box 3014 Los Alamitos, CA 90720-1264 USA 1-800-CS-BOOKS (1-800-272-6657) FAX: 714-821-4010 Catalog Number: 2460 List Price: $80 (US) Member: $40 (US) --- Note this is a PRE-PUBLICATION price -- subject to change. I don't know if it is physically available yet -- All I've seen are the pre-publication prices. I also recall hearing that copies would be sent to members of IEEE SIGDA(?) Is this true? -Jim Alves-Foss Assistant Professor Computer Science Department (208) 885-7232 University of Idaho (jimaf@cs.uidaho.edu)