Delivery-Date: 
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
X400-Received: by mta cs.ubc.ca in /PRMD=/ADMD=/C=/; Relayed;
               Wed, 25 May 1994 11:34:42 UTC-0700
X400-Received: by /PRMD=ca/ADMD=/C=/; Relayed;
               Wed, 25 May 1994 11:34:42 UTC-0700
Date: Wed, 25 May 1994 11:34:42 UTC-0700
X400-Originator: joyce@cs.ubc.ca
X400-Recipients: non-disclosure:;
X400-Content-Type: P2-1984 (2)
X400-Mts-Identifier: [/PRMD=ca/ADMD=/C=/;940525113442]
Content-Identifier: 8556
Conversion: Prohibited
From: Jeffrey Joyce <joyce@cs.ubc.ca>
To: info-hol@leopard.cs.byu.edu
Message-Id: <"8556*joyce@cs.ubc.ca"@MHS>
Subject: HUG'93 Proceedings now available from Springer-Verlag
Mime-Version: 1.0 (Generated by Ean X.400 to MIME gateway)

The proceedings of the 1993 HUG workshop, "Higher Order Logic Theorem
Proving and Its Applications", is now available as LNCS (ie., Lecture
Notes in Computer Science) #780 from Springer.

According to information I've received from Springer, the list price is
DM 96,00.  As well, I'm been informed that "Authors or editors of Springer
books, as well as any contributing authors, for example to LNCS proceedings,
are entitled to purchase this or any other book published by Springer-Verlag
for personal use at a discount of 33 1/3% directly from our company.  Orders
are to be sent to Springer-Verlag, Abt. Vertrieb, Heidelberger Platz 3,
W-1000 Berlin 33, FAX +49 30 8207 301.  A cheque covering two thirds of the
list price plus DM 5,00 for postage has to be enclosed to the order or a
credit card has to be given; only Eurocard, Visa, Diners or American Express
are accepted".

Many of the papers were revised by the authors after the workshop (and so
the participants copy of the proceedings does not contain the final version
of all of the papers).

In case you need to reference papers in the proceedings and/or attempt
to order the book,  the full title, etc of the proceedings is:

   Higher Order Logic Theorem Proving and Its Applications,
   6th International Workshop, HUG'93, Vancouver, B.C.,
   Canada, August 11-13 1993, Proceedings,
   Jeffrey J. Joyce and Carl-Johan H. Seger (Eds.),
   Lecture Notes in Computer Science 780
   Springer-Verlag, Berlin Heidelberg 1994
   ISBN 3-540-57826-9 Springer-Verlag Berlin Heidelberg New York
   IBSN 0-387-57826-9 Springer-Verlag New York Berlin Heidelberg
   (517 pages)

Note to HUG93 authors who attended HUG93:

  The HUG93 organizers have a limited number (about 50) of copies of the
  proceedings which we will distribute to HUG93 authors who attended HUG93
  -- we will distribute these copies "at cost" (ie., estimated postage
  and related handling charges).  Unfortunately, I do not yet know what
  these costs will be (since I'm waiting to be billed for the cost of
  shipping the books from Springer to UBC for distribution).  If you are
  an author or co-author of a HUG93 paper and you attended HUG93 in
  Vancouver last August, then you may wish to wait for a further
  announcement on info-hol to obtain a copy of the proceedings in this
  manner (which should be less expensive than a regular purchase).  As
  soon as the books arrive here at UBC and I have an accurate account
  of shipping/postage/handling charges, I will broadcast information
  on how to obtain a copy in this manner.

Note to all:

  I'm currently on-leave from UBC to work on a formal methods project
  in industry.  As a result, I only read email sent to my UBC address
  infrequently.  This, combined with the fact that I'm notoriously
  slow anyway with replying to email, means that you shouldn't count
  on trying to ask me questions about the proceedings by email.  I think
  that the above message answers all of the questions that I could
  possibly answer at this time about the HUG93 proceedings.  However,
  if you have an absolutely critical question, you should email the
  question to "hug93@cs.ubc.ca" (and cc it to "joyce@cs.ubc.ca") with the
  subject field marked with something that will catch my attention,
  eg., "** URGENT **".  However, I can't guarantee that you'll get an
  immediate response.