Winter Workshop in Logics, Types and Rewriting
Cedar Room, Heriot-Watt University, Edinburgh
Tuesday 1 February-Thursday 3 February 2000
 |
http://www.cedar-forest.org/forest/events/inaugural-workshop2000/
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
-
Jan-Willem
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
(Turin, IT):
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
inaugural lecture.
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:
-
Luxurious accommodation with breakfast, TV, phone and
en suite is available for £ 30
per night (for PhD students: £ 22 with breakfast and £ 18 without
breakfast).
-
En suite accommodation with breakfast, is available for £ 25
per night (for PhD students: £ 20 with breakfast and £ 15 without
breakfast).
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
Questions should be sent to 
Fairouz Kamareddine
URL: http://www.cedar-forest.org/forest/events/inaugural-workshop2000/
Last modified: Tuesday 7 December 1999.
