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

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

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

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.