Workshop on Proof Theory and Algorithms

23 to 29 March 2003, Edinburgh

Home | Scientific Programme & Participants | Timetable | Workshop Arrangements | Registration Form

Registration form

To be completed only by those who have been invited by the Organisers

Section 1 to 3 are compulsory. Section 4 is optional

Section 1

Personal Details

Last Name
First Name
Institution's Address
Special requirements Please specify any special dietary or other requirements

Section 2


Type of accommodation Choose one of the following two options.

Please reserve me a single bedroom with private bathroom.
I will arrange my own accommodation.
Attendance dates
Please choose a day and a date for arrival and departure. If you do not change them the day and date shown will be sent.

I intend to arrive on
(day) (date)

and leave on
(day) (date).

(We understand that you may want to stay on the Saturday night before or after the workshop.)
Other Requirements If you have any other specific requirements (e.g. you are travelling with another person, you have mobility problems, or you need to smoke in your room/have a non-smoking room) please let us know by entering the information in the text box below.

Section 3

Travel costs

The Organisers hope to reimburse the majority of participants' travel costs. The costs are usually reimbursed after the meeting (via Heriot-Watt University) by means of a cheque in the currency of your choice, sent to your home or place of work. If this is not convenient for you, we can reimburse you in cash (pounds sterling) during the meeting. (We require a minimum of 2 weeks notice to arrange this.) Please choose one of the options below.

I am happy to be reimbursed after the meeting. I estimate the amount required to be

I would like to be reimbursed in cash at the meeting. I estimate the amount required to be

Section 4


If you would like to give a formal talk, please complete the boxes below. ICMS has small black and white boards and an overhead projector. Any other audio-visual equipment needs to be pre-booked.
Preferred date
(or range of dates)
Additional audio-visual equipment
Back to ICMS Website