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 <2537-0@swan.cl.cam.ac.uk>;
          Tue, 21 May 1991 04:11:56 +0100
Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk
          with SMTP inbound id <3215-5@sun2.nsfnet-relay.ac.uk>;
          Tue, 21 May 1991 04:07:34 +0100
Received: from iris.ucdavis.edu by vax.NSFnet-Relay.AC.UK via NSFnet with SMTP
          id aa25234; 21 May 91 3:27 BST
Received: by iris.eecs.ucdavis.edu (5.57/UCD.EECS.6.0) id AA08439;
          Mon, 20 May 91 19:59:38 -0700
Received: from grolsch.cs.ubc.ca (137.82.8.34)
          by aster.eecs.ucdavis.edu (3.2/3.14) id AA08304;
          Mon, 20 May 91 19:59:24 PDT
Received: by grolsch.cs.ubc.ca id AA19755 (5.65+/IDA-1.3.5
          for info-hol@aster.eecs.ucdavis.edu); Mon, 20 May 91 19:59:20 -0700
Date: 21 May 91 3:59 +0100
From: Jeffrey Joyce <joyce@cs.ubc.ca>
To: info-hol <info-hol@edu.ucdavis.eecs.aster>
Message-Id: <2213*joyce@cs.ubc.ca>
Subject: Travel Bursaries for HOL Meeting in Davis


       Travel Bursaries for Full-Time Students
       =======================================

There is a strong possibility that we will receive support
from an external agency which will allow us to award travel
bursaries to full-time students to attend the HOL Users
Group Meeting in Davis, California, August 27-30.  We are
about 90% sure of getting this support -- but may not know
for certain until the end of June (or even later).  We have
already had a number of enquiries from both students and
their supervisors about the possibility of travel bursaries.
This message explains how these bursaries will be awarded
(and the expected amounts).

We plan to award bursaries worth $500 (US) each to students
travelling from within North America and bursaries worth
$750 (US) each to students travelling from outside North
America.  The total amount (of all the bursaries) is
expected to be about $5000.

These bursaries will be awarded to students on the basis of
one of the following:

       1. sole author of a paper accepted for presentation
          at the 1991 HOL workshop

       2. statement of interest by the student and a letter of
          recommendation from student's supervisor

This bursaries are intended for students who would otherwise
not be able to attend this meeting.  Therefore:

     + all students who wish to be considered for a travel bursary
       must personally make this request in writing; applicants
       must also state explicitly that they expect to be full-time
       students in September 1991

     + requests for travel bursaries must include an estimate
       of travel expenses for airfare, ground transportation,
       airfare and medical insurance

     + the student must indicate how additional expenses (beyond
       the value of the travel bursary) will be covered

     + all requests for travel bursaries must be accompanied
       by a letter of support from the student's supervisor
       stating that they are unable to provide the full cost
       of the student's travel expenses from research funds
       directly controlled by them

Requests for travel bursaries, supporting letters from supervisors,
etc. must be received by June 15, 1991.  These can be sent by regular
post, fax or e-mail to:

      Jeff Joyce
      Dept. of Computer Science
      University of British Columbia
      6356 Agricultural Road
      Vancouver, B.C.
      CANADA V6T 1Z2

      fax: (604) 822-5485

      email: joyce@cs.ubc.ca


Travel bursaries will be announced sometime between June 15 and
June 30.

We do not expect to be able to award these funds prior to travel,
i.e., it is possible that travel expenses will only be re-imbursed
after the workshop.









