Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Wed, 2 Aug 1995 23:25:39 +0100 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA070770683; Wed, 2 Aug 1995 15:58:03 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: list Received: from bobcat.cs.byu.edu by leopard.cs.byu.edu with ESMTP (1.37.109.15/16.2) id AA070590552; Wed, 2 Aug 1995 15:55:52 -0600 Received: from cs.byu.edu (localhost) by bobcat.cs.byu.edu (1.37.109.15/CS-Client) id AA047780648; Wed, 2 Aug 1995 15:57:29 -0600 Message-Id: <199508022157.AA047780648@bobcat.cs.byu.edu> To: lambda-usergroup@dcs.ed.ac.uk, theorem-provers@mc.lcs.mit.edu, isabelle-users@cl.cam.ac.uk, info-hol@cs.byu.edu, formal-methods@cs.uidaho.edu Subject: HOL95 Information and Registration (deadline approaching) Date: Wed, 02 Aug 1995 15:57:27 -0600 From: Phil Windley HOL95 INFORMATION AND REGISTRATION 1995 International Workshop on Higher Order Logic Theorem Proving and its Applications. September 11-14, 1995 Aspen Grove, Utah, USA The deadline for early registration for HOL95 has been extended to August 11th. For information about the conference, including a registration form, see