The 14th International Conference on Theorem Proving in Higher Order Logics
3-6 September 2001, Edinburgh, Scotland

[Home Page][Conference History][Call for Papers][Guide for Authors][Programme] 
[Related Events][How to Get There][Weather and Tourism][Registration][Accommodation] 
[Sponsors][Student Bursaries][Proceedings][Photos][Business Meeting][TPHOLs 2002]

Student Bursaries

A small number of bursaries will be available of up to 400 to 500 UK pounds each to assist students to attend TPHOLs 2001. Applications should be sent by e-mail to boulton@dcs.gla.ac.uk using the TPHOLs 2001 Bursary Application Form to arrive no later than Thursday 21 June 2001. Applications will be acknowledged by e-mail. If you have not received an acknowledgement by the end of 22 June, please send the application again. Notification of whether an application has been successful will be made by e-mail by Wednesday 25 July 2001. (Bursary applicants, whether successful or not, will be allowed to pay the early student registration fee for TPHOLs up to 3 August.)

Preference will be given to students presenting work at the conference and to students from outside the United Kingdom. In the event that a UK student is awarded a bursary the amount is likely to be considerably less than the 500 pound maximum.

Payment of successful applications will be made by cheque in UK pounds during the conference. Written proof of current student status and original receipts for the amount of the bursary will be required at that time. No payment will be made to an applicant who fails to attend the conference.

Summary of schedule