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]
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 firstname.lastname@example.org 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.
|Deadline for applications||21 June 2001|
|Notification of funding||25 July 2001|
|Deadline for hotel accommodation||31 July 2001|
|Early registration deadline for applicants||3 August 2001|
|Payment of bursaries||6 September 2001|