British Logic Colloquium 1999

University of Wales Gregynog, 23 - 25 September 1999.

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