Winter Workshop in Logics, Types and Rewriting

Cedar Room, Heriot-Watt University, Edinburgh

Tuesday 1 February-Thursday 3 February 2000

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

Lecturers and Topics

Here is the list of the abstracts of the lectures.

This event takes place due to the inaugural lecture of Professor Fairouz Kamareddine. Here is the invitation to the lecture. Here are the slides of the inaugural lecture.

There will also be an afternoon of tutorials given by:

Here is the list of the abstracts of the tutorials.

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

Here is the program of the workshop. Here is the List of Participants at the workshop.


Registration fee is UK £ 350 (£ 275 for PhD students). The registration fee covers refreshments, lunches and the banquet.

Accommodation prices are 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 "Winter Workshop in Logics, Types and Rewriting".

Post applications for registration to Professor Fairouz Kamareddine, Attention Winter Workshop in Logics, Types and Rewriting, Heriot-Watt University, Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland. Fax: +44 131 451 3327.

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:
Last modified: Tuesday 7 December 1999.