EEF Trends School in Logic and Computation
Heriot-Watt University, Edinburgh
10-13 April 1999
Organized by computer science research centers
as part of the EEF series of
summer schools, supported by the European Commission and by
Useful Logics, Types, Rewriting,
UK Institute of Informatics,
Basic Research in Computer Science,
Institute for Programming Research and Algorithmics,
Turku Centre for Computer Science,
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
Samson Abramsky (Edinburgh, UK):
Concurrent Games and Full Completeness for Linear Logic
Peter Aczel (Manchester, UK)
What is the logical strength of the Lego and Coq Type Theories?
Henk Barendregt (Nijmegen, NL):
Mission possible: proof-checking
Robert Constable (Cornell, USA):
Applications of Classes and Types to Practical Verifications
Dirk van Dale
The Mathematical Universe according to Brouwer
The Lambda Calculus in Different Scenarios
The Expressive Power of Higher-order Types or, Life without CONS
Assaf Kfoury (Boston, USA) :
Some New Developments in Unification Related to Type Theory
Claude Kirchner (Nancy, FR):
On Deduction Modulo and Rewriting Calculus
(Amsterdam, NL): Origin Tracking in Term Rewriting
(Cambridge, UK): A New Approach to Abstract Syntax Involving
(Warsaw, PL): On the Curry-Howard Isomorphism
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.
Types in Computation
Invited Speaker: Herman Geuvers
(Eindhoven, NL) :
Inductive and Co-Inductive Types
Proof Search in Computation
Invited Speaker: Roy Dyckhoff
(St Andrews, UK):
Proof Search issues in constructive logic
Rewriting in Computation
Roberto Di Cosmo
Rewriting with extensionality
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
Registration 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:
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).
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".
- PhD students pay UK £ 10.50 per night for a single room (evidence
of full time student status is required). No breakfast is included in this
- Non-students pay UK £ 20 per night for a single en suite room
or UK £ 25 for a single en suite room with breakfast.
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
and Don Sannella
Last modified: Thursday 4 February 1999.