[Prev][Next][Index][Thread]

British Logic Colloquium 1999


                  British Logic Colloquium 1999

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,
with the following confirmed to speak:

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.