Delivery-Date: 
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
From: hug94@dcs.gla.ac.uk
Message-Id: <9406071000.AA08482@switha.dcs.gla.ac.uk>
To: info-hol@cs.uidaho.edu
Cc: hug94@dcs.gla.ac.uk
Subject: HUG94: Student Bursaries - Call for Applications.
Date: Tue, 07 Jun 94 11:00:32 +0100

As I suggested in my recent info-hol message, there is a small amount of
funding available for student bursaries to assist with the registration
fee for the conference in Malta. The money is coming from this year's
royalties from sales of the book Introduction to HOL (Cambridge
University Press, 1993).  These funds are specifically earmarked for the
support of research and development activities pertaining to the HOL system.

Regrettably, the book's not a million bestseller, so we have only a
limited amount of funds available - about 500 pounds or so for this
particular use.  We have therefore decided to restrict availability to
Ph.D. students who are:

   * doing their research using the HOL system
   * preferably (but not necessarily) in the early stages of their research
   * unable to obtain funding from another source

I received about 5 responses to my previous call for expressions of
interest -- I am now asking for official *applications* for bursarial
support.  If you already wrote to express an interest, could you please
reconfirm your application now, giving any details of your case for
support that I don't already have.  

I am also willing to receive applications on behalf of other qualifying
students whose interest was not already registered by a response to my
previous message. Obviously, however, if there are a lot more than the 5
applications I already know about, we'll have to split the money into
smaller parcels.

All applications should be sent by email (to hug94@dcs.glasgow.ac.uk)
to arrive before 13 June 1994.

Tom Melham