Important dates

18/1/2013: Registration open
18/1/2013: Abstract submissions open
5/3/2013: Deadline for booking on-campus accommodation
7/3/2013: EXTENDED!! Deadline for application for bursaries
10/3/2013: Deadline for registration
10/3/2013: Deadline for submission of abstracts
24 - 27/3/2013: Colloquium

Venues and timetable


The conference is being held in the East Building on the University of Bath campus. Maps and directions can be found at

Talks will be held in East Building 1.1 and refreshments will be served in the East Building foyer.


Local information


Campus accommodation


James Davenport
Guy McCusker


The 29th British Colloquium for Theoretical Computer Science

The Department of Computer Science at the University of Bath is proud to host the 29th British Colloquium for Theoretical Computer Science in March 2013

The purpose of BCTCS is to provide a forum in which researchers in theoretical computer science can meet, present research findings, and discuss developments in the field. It also aims to provide an environment in which PhD students can gain experience in presenting their work, and benefit from contact with established researchers. The scope of the colloquium includes all aspects of theoretical computer science, including automata theory, algorithms, complexity theory, semantics, formal methods, concurrency, types, languages and logics. Both computer scientists and mathematicians are welcome to attend, as are participants from outside of the UK.


We are delighted to announce invited talks from:

We invite your contributed talks.

A timetable for the colloquium is now available.


We gratefully acknowledge sponsorship from the Heilbronn Institute for Mathematical Research, who have made available 25 fully-funded busaries for research students. Bursaries include full registration, a contribution towards accommodation at the rate of the on-campus accommodation, and reasonable UK travel costs. These bursaries are intended primarily for UK-based research students, or British students based overseas.

To apply for a bursary, a student should send an email to requesting funding and stating who is his or her supervisor. The named supervisor should write a letter of support to the same address, confirming that the student will attend BCTCS 2013 and indicating what, if any, other sources of funding are available.

Bursaries will be awarded on a first-come, first-served basis. Applications should be made by 28th February 2013

Contributed talks

Participants wishing to give a 30 minute contributed talk on any topic in the scope of the colloquium are invited to send us proposals. Presentations from research students and early career researchers are particularly encouraged.

To propose a talk, please submit your title and abstract via the BCTCS 2013 Easychair page. You may either submit a plain-text abstract or a PDF attachment of around half a page in length.


We have reserved a limited number of rooms on campus for BCTCS participants, at a very good rate. You can book online.

For off-campus accommodation, a good place to find a Bed and Breakfast is The Bath YMCA also offers low cost accommodation. The University is within easy reach of the town centre by bus, taxi or on foot (if you don't mind an uphill walk). Buses go from near Bath Spa railway station, past Bath Abbey, to the bottom of Bathwick Hill, and then to the campus. See Getting Here for further detail.