The 30th British Colloquium for Theoretical Computer Science

The Department of Computer Science at Loughborough University is proud to host the 30th British Colloquium for Theoretical Computer Science in April 2014.

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:

Leszek Gąsieniec, University of Liverpool
Achim Jung, University of Birmingham
Timo Kötzing, Friedrich-Schiller-Universität, Jena
Jeffrey Shallit, University of Waterloo, the LMS-sponsored Keynote Speaker in Discrete Mathematics

We invite contributed talks (see below).

Registration has now closed

Full registration to BCTCS’14 includes a drinks reception on the Wednesday evening, conference dinner on the Thursday evening and all tea/coffee/lunch breaks.

Full registration at BCTCS 2014 costs £225 including two nights’ accommodation at the Burleigh Court Lodge (single, ensuite, B&B) on campus, or £137 without accommodation (other accommodation options available, please see below). A one year membership of the EATCS can also be added on the registration page for an additional £25.

If you are a research student and would like to apply for a bursary, you should only register once your bursary request has been approved by the conference organisers (see below).


Applications for bursaries have now closed.

We gratefully acknowledge sponsorship from the Heilbronn Institute for Mathematical Research, who have made available 25 bursaries for research students. Bursaries include full registration and two nights’ accommodation at the campus ensuite accommodation (or a contribution towards accommodation at an alternative venue). Note that, unfortunately, bursaries do not cover any travel expenses.  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 bctcs@lboro.ac.uk requesting funding, indicating if they would be willing to give a contributed talk (together with title and abstract) and stating the name of their supervisor. The supervisor should write a letter of support to the same address, confirming that the student will attend BCTCS’14 and indicating what, if any, other sources of funding are available.

Bursaries will be awarded with priority given to UK students willing to give a contributed talk. If you receive a bursary, you will obtain a code which can be used on the online registration page.

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, which can be submitted during registration or via an email to us. Presentations from research students and early career researchers are particularly encouraged. The titles and abstracts of invited and contributed talks will appear in the Bulletin of the EATCS.



We have reserved a limited number of places of Burleigh Court Lodge rooms (single ensuite with B&B) on campus at a good rate. Accommodation in the Burleigh Court Lodge rooms must be booked through the online registration system when registering for the colloquium. We have also booked a limited number of executive double rooms at Burleigh Court (to book an executive double room at Burleigh Court, please contact reservations directly on 01509 633033, quoting reference 192617 for the BCTCS event. Executive double rooms at Burleigh Court are £92.40 per night, including VAT B&B). There are also several other hotels in Loughborough and the Link Hotel which is close to the University.


Travel Information

Loughborough University is easy to get to via road, rail or air, please see this website for full details.



We kindly thank the Heilbronn Institute for Mathematical Research and the London Mathematical Society for their sponsorship of BCTCS’14.