British Colloquium for Theoretical Computer Science

23-26th March 1997

University of Sheffield

BCTCS 13 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".

Accommodation 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


Registration details.

The cost of attendance, including three nights accommodation, all meals and the conference dinner, will be 200 (sterling) for standard single rooms with shared facilities and 225 for rooms with en-suite accommodation. For those making other arrangements for overnight accommodation, the rate will be 115. The price includes free membership of the European Association for Theoretical Computer Science for one year. Full support is being provided by EPSRC for up to 30 EPSRC-supported PhD students. Supported places will be allocated on a first-come, first-served basis, with priority given to students presenting talks. The support includes all accommodation and registration costs and membership of EATCS but not travel expenses.

Registration form here

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 University of Sheffield and sent to: BCTCS13 c/o Professor Mike Holcombe Department of Computer Science, University of Sheffield, Regent Court, 211 Portobello Street, SHEFFIELD S1 4DP, UK

Research contributions

Research contributions are sought on any area of theoretical computer science. Topics include, but are not limited to: Theory of Concurrency, Formal Methods, Computational Complexity, Finite Model Theory, Program Specification and Verification, Abstract Data Types, Proof Theory and Logic, Theory of Programming, Hardware Verification, Automata and Formal Languages, Artificial Intelligence, Symbolic Computation, Term Rewriting, Applications of Formal Methods, Case Studies.

Contributions on the educational issues of teaching theoretical computer science are also welcome.

Submitting a paper

Abstracts of papers (not to exceed 250 words) should be submitted to the local organisers either by post or e-mail by March 15th.

The annual meeting of the Colloquium will also take place during the meeting. Among the business items to be discussed will be a proposed draft constitution for BCTCS. This is now available.

Sponsored by: EPSRC, Praxis, Logica, ICL.

Local Arrangements

The meeting will start at 9 o'clock on Monday 24th March 1997 and continue through until lunch on Wednesday 26th March. There will be food available on the evening of Sunday 23rd March, as well as accommodation for that night.

Details of how to travel to Sheffield can be found on the University of Sheffield's web pages - see below.

Local Organisers

Committee of the BCTCS

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

Reports on the last two meetings

The 1995 meeting BCTCS11: abstracts and other information.

The 1996 meeting BCTCS12: abstracts and other information.

Further information about The University and Sheffield