Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP)
          id <2218-0@swan.cl.cam.ac.uk>; Mon, 19 Aug 1991 14:23:36 +0100
Received: from n-kulcs.cs.kuleuven.ac.be by ted.cs.uidaho.edu (15.11/1.34)
          id AA22890; Mon, 19 Aug 91 06:15:46 pdt
Received: from esat.kuleuven.ac.be
          by n-kulcs.cs.kuleuven.ac.be (5.64+/n_kulcs1.1) id AA23967;
          Mon, 19 Aug 91 13:55:12 +0200
Date: Mon, 19 Aug 91 13:49:10 +0100
Message-Id: <9108191249.AA15444@esat.kuleuven.ac.be>
Received: by esat.kuleuven.ac.be Mon, 19 Aug 91 13:49:11 +0100
From: catia@be.imec
To: info-hol@edu.uidaho.cs.ted
Subject: Call for turists


Hi folks,

I think that some of the people (specially from Europe) who are going to
the HOL workshop might arrive in California in the next weekend. Maybe
this is a good opportunity not only to visit some interesting places
but also to know the informal side of the formal people.

I am going to arrive in Davis at Saturday in the evening and I am planning
some sightseeing in the next two or three days. If you would like to join
me, please let me know. I think that if there are enough people interested,
we can think about planning something for a group.

Catia

catia@imec.be