Workshop on Proof Theory and Algorithms

23 to 29 March 2003, Edinburgh

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

Workshop arrangements

The Workshop will be held at the head-quarters of ICMS at 14 India Street. This house is the birthplace of James Clerk Maxwell and is situated in the historic New Town of Edinburgh, very near the centre. Facilities include email and rooms suitable for small discussion meetings.

On the ICMS travel page there are links to maps which show the location of India St and links to pages with advice on how to get to Edinburgh and travel around once here.

ICMS staff will arrange accommodation for those who require it at Pollock Halls, a student residence just south of the centre of Edinburgh. MAP 1 on Edinburgh University's travel page shows the location of Pollock Halls (India Street is in the top left corner).

Meals and Refreshments
Morning and afternoon refreshments will be provided at the venue. Lunch will not be provided (except on Monday 24th) but there are many bars and restaurants locally.

There will be an informal Wine and Cheese Reception immediately after the last talk on Monday 24 March. On Thursday 27 March an optional Conference dinner has been arranged.

[No charge]
Sunday 23 March in the Nelson Room of Pollock Halls, any time between 18.30 and 21.00. Those unable to attend cna register on their arrival at ICMS.
Back to ICMS Website