EEF Trends School in Logic and Computation

Heriot-Watt University, Edinburgh

10-13 April 1999

http://www.cedar-forest.org/forest/events/eefschool1999/eefschool.html

ULTRA group Useful Logics, Types, Rewriting, and Applications

UKII UK Institute of Informatics, UK

The registration fee covers the following:

• Refreshments as follows:
  • saturday 10 April, afternoon,
  • Sunday 11, Monday 12 and Tuesday 13 April, morning and afternoon,
• Lunches on Sunday 11, Monday 12 and Tuesday 13
• The banquet consisting of a four course meal on Monday 12 April. Drinks during the banquet are NOT included. There will be an open bar for purchase of drinks by individuals during the banquet if desired.
• Ceiligh band playing Scottish dance music during the banquet (Monday 12 April) and refreshments during the registration on Saturday 10 April (12:00-14:00). This item replaces the lunch originally planned for Saturday 10 April.

If you have been awarded a grant, and your grant covers registration only, then the above paragraph informs you what your grant covers.

If you have been awarded a grant, which covers accommodation, then only the nights mentioned in the grant offer are paid by the school. No breakfast is included in these nights and the rooms are not en-suite. Breakfast will cost 5 pounds per night and you need to let us know as soon as possible if you request it.

Looking forward to seeing you at the school