From Anuj.Dawar@cl.cam.ac.uk Tue Jul 20 18:23:19 1999 Date: Mon, 19 Jul 1999 09:23:57 PDT From: Anuj Dawar Reply-To: Theory-A - TheoryNet World-Wide Events , Anuj Dawar To: THEORYNT@LISTSERV.NODAK.EDU Subject: British Logic Colloquium 1999 British Logic Colloquium 1999 - Second Announcement - The 1999 meeting of the British Logic Colloquium will be held from 23 to 25 September at the University of Wales conference centre, Gregynog. Programme --------- The meeting will include a celebration of Roger Hindley's contributions to logic, on the occasion of his retirement from the Department of Mathematics at the University of Wales Swansea. In addition, there will be lectures covering a wide variety of areas of mathematical and philosophical logic as well as the history of logic. The provisional programme is: 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 Boehm Trees 10:00am Mariangiola Dezani (Turin) Intersection Types and Properties of Lambda Terms 11:00am Coffee 11:45am Jonathan Seldin (Concordia) 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. Location -------- The meeting will take place in the conference centre of the University of Wales at Gregynog. Gregynog is a large Victorian country house in mid-Wales, standing in 750 acres of wooded parkland. It is located five miles north of Newtown, Powys, with a regular train link to Birmingham (taking approximately 1h45m). All participants will be offered rooms in the house. The number of places is limited, and early registration is advised. Cost ---- The cost of participation, including registration, two days lodging at Gregynog with full board and the conference banquet is as follows: non-BLC members 140 GBP BLC members 120 GBP students 70 GBP As the number of subsidised student places is limited, early registration is advised. Registration ------------ To register, please complete the form below and send it, with the appropriate payment (cheques should be made payable to the University of Wales Swansea) to: Jill Edwards Department of Computer Science University of Wales Swansea Singleton Park Swansea SA2 8PP, U.K. Enquiries may be addressed to the organisers: Anuj Dawar anuj.dawar@cl.cam.ac.uk John Tucker j.v.tucker@swansea.ac.uk See also: http://www.cl.cam.ac.uk/~ad260/blc99.html Form ---- NAME: AFFILIATION: ADDRESS: EMAIL ADDRESS: PAYMENT: non-BLC member 140 GBP BLC member 120 GBP student 70 GBP SPECIAL DIETARY REQUIREMENTS: Support ------- The meeting is generously supported by grants from the London Mathematical Society and the British Logic Colloquium.