Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from nsf.ac.uk by swan.cl.cam.ac.uk via JANET
          with NIFTP to fgate (PP) id <28808-0@swan.cl.cam.ac.uk>;
          Fri, 17 May 1991 12:59:08 +0100
Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk
          with SMTP inbound id <10925-9@sun2.nsfnet-relay.ac.uk>;
          Fri, 17 May 1991 12:56:06 +0100
Received: from [129.101.100.20] by vax.NSFnet-Relay.AC.UK via NSFnet with SMTP
          id aa05947; 17 May 91 12:19 BST
Received: from sun2.nsfnet-relay.ac.uk by ted.cs.uidaho.edu (15.11/1.34)
          id AA02406; Fri, 17 May 91 04:44:39 pdt
Received: from computer-lab.cambridge.ac.uk by sun2.nsfnet-relay.ac.uk
          via JANET with NIFTP id <10475-0@sun2.nsfnet-relay.ac.uk>;
          Fri, 17 May 1991 12:34:37 +0100
Received: from cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP)
          id <28259-0@swan.cl.cam.ac.uk>; Fri, 17 May 1991 12:35:43 +0100
Received: by petrel.cl.cam.ac.uk (4.1/SMI-3.0DEV3) id AA03513;
          Fri, 17 May 91 12:35:39 BST
Date: Fri, 17 May 91 12:35:39 BST
From: vac@uk.ac.cam.cl
Message-Id: <9105171135.AA03513@petrel.cl.cam.ac.uk>
To: info-hol@edu.uidaho.cs.ted
Subject: registration fee


Does anybody knows how much is the registration fee for the HOL meeting at
Davis?

Victor.
vac@air12.larc.nasa.gov
vac@cl.cam.ac.uk