Festival Workshop in Foundations and Computations

Heriot-Watt University, Edinburgh

Sunday 16 July-Tuesday 18 July 2000


ULTRA logo ULTRA group
Useful Logics, Types, Rewriting,
and Applications
UK Institute of Informatics,
The Engineering and Physical Sciences Research Council (EPSRC)

This workshop is a part of a research festival at Heriot-Watt University, Edinburgh, during parts of the summer of 2000. During the festival, international and national researchers spend short/long time at Heriot-Watt during which a lively research environment will take place. There will be many seminars during the festival details of which are advertised separately. When the visits coincide with a particular theme, a workshop will be held on that theme. If you like to take part in the festival and/or give a talk, contact . Grants are available for parts or all of the registration fees and accommodation. Contact for details.

Here is the the program of the workshop.

Here is information on how to get to Edinburgh, Heriot-Watt, your accommodation, and the workshop.

Here is the list of participants. Here are some photos from the workshop.

Speakers and Topics

Here is the list of the abstracts of the talks.


Grants cover part or all of the registration fee and accommodation. We strongly welcome applications from women researchers, researchers who work in industry, and researchers whose place of work is in a less-favoured region. If you are not sure about eligibility, send an email to

Here is the form for application for funding. Deadline for receipt of grant applications is 30 June 2000. You will receive notification of acceptance/rejection by 5 July 2000.


Registration fee is UK £ 550. The registration fee covers refreshments, lunches and the banquet.

Accommodation in university halls of residence for students and in university halls of residence/conference accommodation for non-students is priced as follows:

To register, send name, affiliation, address, e-mail, dates of arrival/departure and a cheque in UK £ drawn on a UK bank to cover the registration fee and the number of nights of accommodation required. The cheque should be made payable to Heriot-Watt University and labelled "35 years of Automath".

Post applications for registration to Professor Fairouz Kamareddine, Attention 35 years of Automath. Heriot-Watt University, Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland. Fax: +44 131 451 8179.

In order to guarantee accommodation, it is advisable that your application is sent as soon as possible.


Questions should be sent to

Fairouz Kamareddine URL: http://www.cedar-forest.org/forest/events/festival/workshop1
Last modified: July 2000.