EEF Trends School in Logic and Computation

Heriot-Watt University, Edinburgh

10-13 April 1999

Organized by computer science research centers
ULTRA logo ULTRA group
Useful Logics, Types, Rewriting,
and Applications
UK Institute of Informatics,
Basic Research in Computer Science,
Institute for Programming Research and Algorithmics,
The Netherlands
Turku Centre for Computer Science,
as part of the EEF series of summer schools, supported by the European Commission and by
The Engineering and Physical Sciences Research Council (EPSRC)

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

Here is the program of the school. Here is the List of Participants at the school. Here are some photos from the school.

Grants covering, part or all of travel, registration and accommodation are available for eligible researchers aged 35 years or less, see below.

Lecturers and Topics

Here is the list of abstracts of the lectures.

Lectures are in the mornings. In the afternoon, there will be workshops which will have invited speakers and for which we are soliciting talks of work in progress and of open problems from both young and established researchers. These workshops are:

To submit a talk, post a two page abstract in postscipt by email to no later than Friday 5 March. You will receive notification of acceptance/rejection by Monday 15th March.

Here is the list of abstracts presented at the workshops.


Grants cover part or all of travel, registration and accommodation. Grants are restricted to researchers of age 35 or younger with nationality in the European Union or Norway, Israel, Iceland or Liechtenstein. We strongly welcome applications from women researchers, researchers who work in industry, and researchers whose place of work is in a less-favoured region.

Here is the form for application for funding. Deadline for receipt of the form is Friday 5 March 1999. You will receive notification of acceptance/rejection by Monday 22nd March.

Once you have been awarded a grant, then read this document for information.


The registration fee is UK £ 450. The registration fee covers the following: 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 "School in Logic and Computation".

Post applications for registration and grants to Professor Fairouz Kamareddine, Attention School in Logic and Computation, Heriot-Watt University, Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland. Fax: +44 131 451 3327.

Recall that the deadline for grants is 5 March and the deadline for early registration is 15 March.

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


Questions should be sent to

Fairouz Kamareddine and Don Sannella
Last modified: Thursday 4 February 1999.