The meeting will take place in Halifax Hall a former steel baron's mansion which has been extensively refurbished to provide high grade accommodation. It is located in Broomhill a leafy suburb of Sheffield about 10 minutes walk from the main University campus and 20 minutes from the city centre. The pleasant surroundings were once described by John Betjeman as being the "prettiest suburb in England".
Acccommodation and meals will be available from Sunday evening (March 23rd.). The meeting will commence on Monday 24th. March at 9.00.
The invited speakers are
Abstracts of underlined titles can be seen by clicking on them.
Research contributions have been sought on any area of theoretical computer science.
The titles of contributed papers can be seen by clicking here.
The meeting will start at 9 o'clock on Tuesday 2 April and continue through until lunch on Thursday 4 April. There will be food available on the evening of Monday 1 April, as well as accommodation for that night.
Details of how to travel to UKC will be available here in due course.
The cost of attendance, including three nights accommodation, all meals and the conference dinner, will be £160 (sterling) for postgraduate students and £205 for staff. For those making other arrangements for overnight accommodation, the rates will be £80 and £110 respectively.
Full support is being provided by EPSRC for up to 25 EPSRC-supported PhD students. Supported places will be allocated on a first-come, first-served basis, with priority given to students presenting talks.
Payment may be by (sterling) cheque, money order or cash, and may be made prior to or on arrival at the colloquium. Cheques should be made payable to Unikent and sent to
BCTCS12 c/o Simon Thompson Computing Laboratory University of Kent Canterbury, CT2 7NF, Kent, UK
Payment includes a one year subscription to the European Association for Theoretical Computer Science (EATCS), at a preferential rate.
In order to be certain of receiving accommodation, registrations need to be received by March 15.
The 1995 meeting BCTCS11: abstracts and other information.
Details of a Mathfit workshop on Semantics for Concurrency and Distribution at the University of Kent, 19-21 July 1996 are here.