Winter Workshop in Logics, Types and Rewriting
Cedar Room, Heriot-Watt University, Edinburgh
Tuesday 1 February-Thursday 3 February 2000
Lecturers and Topics
Henk Barendregt (Nijmegen, NL): Proof-assistants for mathematics
Stefano Berardi (Turin, IT): A notion of computation for Analysis
N.G. de Bruijn (Eindhoven, NL):
The Design of Automath
Alan Bundy (Edinburgh, UK)
What is a Proof?
Gilles Dowek (INRIA, FR):
Axioms vs. Rewrite rules : from completeness to cut elimination
Martin Hofmann (Edinburgh, UK): A type system for bounded space and functional in-place update
Helene Kirchner (Nancy, FR):
Algebraic Specifications, Higher-Order Types and Set-Theoretic Models
Klop (Amsterdam, NL): Proof systems for cyclic term graphs
Gordon Plotkin (Edinburgh, UK):
Another Meta-Language for Programming with Bound Names Modulo Renaming
Simona Ronchi Della Rocca
Intuitionistic Logics and Intersection Type assignment System
Jonathan Seldin (Lethbridge, Canada):
On Lists and Other Abstract Data Types in the Calculus of Constructions
Joe Wells (Heriot-Watt,Edinburgh, UK):
A Paradigm Shift in Program Analysis and
Transformation via Intersection and Union Types
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
There will also be an afternoon of tutorials given by:
- Mirna Bognar(Amsterdam, NL):
A calculus of contexts: part I
- Sophia Drossopoulou (London, UK):
Towards a model of dynamic linking and verification for Java
- Alan Mycroft Cambridge University and AT&T Labs:
A Statically Allocated Parallel Functional Language
- Adolfo Piperno (Roma, IT): A new approach to the problem of discriminability
Roel C. de Vrijer
(Amsterdam,NL): A calculus of contexts: part II
- Jan Zwanenburg (Nijmegen, NL): Pure Types Systems and Subtyping
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 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
The cheque should be made payable to Heriot-Watt University and
labelled "Winter Workshop in Logics, Types and Rewriting".
Luxurious accommodation with breakfast, TV, phone and
en suite is available for £ 30
per night (for PhD students: £ 22 with breakfast and £ 18 without
En suite accommodation with breakfast, is available for £ 25
per night (for PhD students: £ 20 with breakfast and £ 15 without
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
Last modified: Tuesday 7 December 1999.