British Colloquium for Theoretical Computer Science

23-26th March 1997

University of Sheffield

BCTCS 1 will be held in Sheffield on 23-26 March 1997. Sheffield is a large and lively city with good transport links to all parts of the country. The city is surprisingly green and has many excellent sporting, social, shopping and other facilities.

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

  • Javier Esparza (Technical University of Munich)
  • Mike Gordon (University of Cambridge)
  • Edmund Robertson (University of St. Andrew's)
  • Alastair Sinclair (University of California, Berkeley) [to be confirmed]
  • Chris Tofts (University of Leeds)
  • ( )
  • ( )
  • ( )

Abstracts of underlined titles can be seen by clicking on them.

Research contributions

Research contributions have been sought on any area of theoretical computer science.

The titles of contributed papers can be seen by clicking here.

Local Arrangements

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

c/o Simon Thompson
Computing Laboratory
University of Kent
CT2 7NF, Kent, UK

Payment includes a one year subscription to the European Association for Theoretical Computer Science (EATCS), at a preferential rate.

Registering and submitting a paper

To register or submit a title and abstract of a paper, click here.

In order to be certain of receiving accommodation, registrations need to be received by March 15.

Local Organisers

  • Simon Thompson (S.J.Thompson@ukc.ac.uk).
  • John Derrick (J.Derrick@ukc.ac.uk).

Committee of the BCTCS

Alan Gibbons (Chairman, Warwick (Liverpool from April 1996)), Paul Dunne (Secretary, Liverpool), Iain Stewart (Treasurer, Swansea), Julian Bradfield (Edinburgh), Savita Chauhan (Ph.D student member, Swansea), Mike Holcombe (Sheffield), John Stell (Keele), Simon Thompson (Kent), Chris Tofts (Manchester), John Tucker (Swansea).

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.

Written 10 May 1995,
Last modified 20 March 1996.