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 |
.