British Logic Colloquium 1999

                  British Logic Colloquium 1999
                     - First Announcement - 

The 1999 meeting of the British Logic Colloquium will be held from
23 to 25 September at the University of Wales conference centre,


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.
The speakers on this occasion are:

 Robin Milner (Cambridge)
 Henk Barendregt (Nijmegen)
 Roger Hindley (Swansea)
 Giuseppe Longo (CNRS and ENS, Paris)
 Mariangiola Dezani (Turin)
 Jonathan Seldin (Concordia)

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:

 Ivor Grattan-Guinness (Middlesex)
 David Miller (Warwick)
 Mirna Dzamonja (East Anglia)
 Richard Kaye (Birmingham)
 Jens Blanck (Uppsala/Swansea)


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.  To
guarantee a place, please register before 1 July 1999.


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.


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







 non-BLC member        140 GBP
 BLC member            120 GBP
 student                70 GBP


The meeting is generously supported by grants from the London
Mathematical Society and the British Logic Colloquium.