Click on the title to see an abstract.
Thursday, 23 September
| 1:00pm | Lunch | |
| 2:00pm | Robin Milner (Cambridge) | What is the Logic of Communication? |
| 3:00pm | Giuseppe Longo (CNRS and ENS, Paris) | Prototype Proofs and Genericity in Type Theories |
| 4:00pm | Tea | |
| 4:30pm | Roger Hindley (Swansea) | Curry's Last Problem, Imitating Lambda-beta-reduction in Combinatory Logic |
| 6:00pm | BLC General Meeting | |
| 7:00pm | Dinner |
Friday, 24 September
| 8:00am | Breakfast | |
| 9:00am | Henk Barendregt (Nijmegen) | The Perpendicular Lines Lemma for Lambda Terms and Böhm Trees |
| 10:00am | Mariangiola Dezani (Turin) | Intersection Types and Properties of Lambda Terms |
| 11:00am | Coffee | |
| 11:45am | Jonathan Seldin (Lethbridge) | Roger Hindley's work on Lambda-calculus and Combinatory Logic |
| 1:00pm | Lunch | |
| 2:00pm | Ivor Grattan-Guinness (Middlesex) | The Reception of 'Principia Mathematica' in Britain and Abroad, 1913-1935 |
| 3:00pm | David Miller (Warwick) | Some Neglected Work in General Metamathematics |
| 4:00pm | Tea | |
| 4:30pm | Mirna Dzamonja (East Anglia) | Cardinal Spectra |
| 7:00pm | Banquet in honour of Roger Hindley |
Saturday, 25 September
| 8:00am | Breakfast | |
| 9:00am | Richard Kaye (Birmingham) | A Nonstandard Approach to Baire Category |
| 10:00am | Jens Blanck (Uppsala/Swansea) | Computations on Topological Algebras |
| 11:00am | Coffee | |
| 11:45am | Conference ends |
.