Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <12279-0@swan.cl.cam.ac.uk>; Tue, 28 Apr 1992 16:58:42 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA02237; Tue, 28 Apr 92 08:47:30 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from panther.cs.uidaho.edu by ted.cs.uidaho.edu (16.6/1.34) id AA02232; Tue, 28 Apr 92 08:47:25 -0700 Received: from localhost by panther.cs.uidaho.edu with SMTP id AA02498 (5.65c/IDA-1.4.4 for info-hol@ted.cs.uidaho.edu); Tue, 28 Apr 1992 08:51:35 -0700 Message-Id: <199204281551.AA02498@panther.cs.uidaho.edu> To: Jim Grundy Cc: info-hol Subject: Re: HOL91 Proceedings? In-Reply-To: Your message of Tue, 28 Apr 92 15:05:30 +0100. <"swan.cl.ca.639:28.03.92.14.05.38"@cl.cam.ac.uk> Date: Tue, 28 Apr 92 08:51:34 -0700 From: Phil Windley X-Mts: smtp On Tue, 28 Apr 92 15:05:30 BST, Jim.Grundy@cl.cam.ac.uk wrote: +------------ | | 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). | So, the questions is: Are the attendees of this workshop going | to recieve one of these things. Its just I'd have to shell | out the n, where n is large, sheckels required to buy one of these | only to have another copy arrive a week later. | I haven't seen the ad, but don't send money for proceedings if you attended the workshop (and paid ;-). The workshop fees included a copy of the proceedings. I'm glad to hear that they are now available. I'd like to think that the price is steep since the content is so worthwhile, you can draw your own conclusions... ;-) --phil--