 |
ULTRA group Useful Logics, Types, Rewriting, and Applications |
 |
UKII UK Institute of Informatics, UK |
Surname:.............................................
First Name:...................................................
Date of birth:...............................Nationality:.................................................................
Highest university degree obtained, year, name of institution:
.......................................................................................................................................
Institution presently associated with:................................................................................
........................................................................................................................................
Present professional position and duties:..........................................................................
.........................................................................................................................................
Current fields of interest:...................................................................................................
........................................................................................................................................
Mailing adress:.................................................................................................................
.........................................................................................................................................
Postcode:.....................................Place:.............................................................................
Country:............................................................................................................................
Phone:.......................................................Fax:.................................................................
E-mail:....................................................
Note that grants may cover all or parts of accommodation, and/or registration fee.
ACCOMMODATION AND REGISTRATION FEE:
I hereby request support for my accommodation from 6-15 April 2000 and for the registration fee.
STATEMENT BY THE APPLICANT
I hereby declare that the above information is correct and to the best of my knowledge. I understand that the grant may cover all or part of the total costs. I will acknowledge the European Union's IHP High Level Scientific Conferences support especially if I need to obtain further support to attend the school, in which case, I will disclose the total amount of support I received from the European Union's IHP High Level Scientific Conferences.
..............................................................................
date and signature
STATEMENT BY THE INSTITUTION
The applicant is associated with our institution. His/Her postition is:
......................................................................................
date and signature/stamp
If you are a PhD student, please arrange for a letter of recommendation from your supervisor to be faxed or posted directly to the ddress below.
Very important: Your application for a GRANT will be considered only if this form is filled in completely and signed by you and your institution and the letter of recommendation (if you are a PhD student) has been received by us. Please print and fill in the form. If more space is needed attach an additional page.
You may fax or mail your application to us:
FAX: +44 131 451 3327
Fairouz Kamareddine, Attention School in Deduction and Theorem Proving, Heriot-Watt University, Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland.
For more questions
Email:
Please note: DEADLINE FOR APPLICATION IS WEDNESDAY MARCH 15, 2000