Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Sat, 28 May 1994 16:02:23 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA11814;
          Sat, 28 May 1994 08:31:35 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA11810;
          Sat, 28 May 1994 08:31:27 -0600
Received: from vanuata.dcs.gla.ac.uk by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.8/16.2) id AA09247;
          Sat, 28 May 1994 07:31:14 -0700
Received: from switha.dcs.gla.ac.uk by goggins.dcs.gla.ac.uk 
          with LOCAL SMTP (PP) id <21315-0@goggins.dcs.gla.ac.uk>;
          Sat, 28 May 1994 15:31:08 +0100
Received: by switha.dcs.gla.ac.uk (4.1/Dumb) id AA16700;
          Sat, 28 May 94 15:31:06 BST
From: hug94@dcs.gla.ac.uk
Message-Id: <9405281431.AA16700@switha.dcs.gla.ac.uk>
To: info-hol@cs.uidaho.edu
Cc: hug94@dcs.gla.ac.uk
Subject: Student Bursaries for HUG94.
Date: Sat, 28 May 94 15:31:05 +0100


I am invesigating one possibility for funding a small number of student
bursaries for the conference in Malta.  The bursaries, if we can arrange
them, will probably cover (all, or part of) the registration fee.  The
money, if available, will come from a source specifically earmarked for
supporting research using the HOL system.

Because we don't really have access to a lot of money, we will have to
restrict availability to Ph.D. students who are:

   * doing their research using the HOL system
   * preferably in the first two years of their research
   * unable to obtain funding from another source

This message is *not* seeking applicants for such a bursary.  For now, I
just want to get an idea of how many applicants we might have if we *did*
offer such support -- I need the data to judge whether it will be feasible.

Please therefore let me know if you or your student(s) might qualify and
would apply if such bursaries were made available.  (Only students who are
seriously likely to attend, please!)  Please let me know, giving the name(s)
of the potential applicant(s) by email (to hug94@dcs.glasgow.ac.uk) before 4
June 1994.

Tom Melham