Section navigation

The 31st British Colloquium of Theoretical Computer Science (BCTCS)

Event information

START DATE 14 September 2015
START TIME 09:00am

Town Hall, Committee Room 3, Middlesex University, The Burroughs, London, NW4 4BT

END DATE 18 September 2015
END TIME 05:00pm

The 31st British Colloquium of Theoretical Computer Science (BCTCS) will be held at Middlesex University London, 14th–16 and 18 September 2015. The organisers are Barnaby Martin, Giuseppe Primiero and Rajagopal Nagarajan.

Preliminary list of keynote/invited speakers include Tony Hoare, Per Martin-Löf, Joseph Sifakis, Timothy Gowers (to be confirmed), Thomas Hales and Samson Abramsky.

This meeting is associated with the LMS 150th Anniversary Computer Science Colloquium to be held on 17 September 2015 at the Royal Society.

BCTCS aims 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.


The registration fee for the whole conference is £140, which includes lunches/coffee/tea on all four days and drinks reception on Monday and Wednesday. This does not include the conference dinner on Tuesday, which costs £40. You can also register for one or more days of the conference at a day rate of £45. You can register here. The deadline for registration is August 14th.  Please contact barnabymartin @ if you have any problems.

Bursaries for PhD students

We are grateful for support from the Heilbronn Institute for Mathematical Research which will provide bursaries for 18 PhD students. These are intended primarily for those studying in the UK and without other sources of funding. The bursaries cover registration fees and accommodation (but not travel). 

To apply for a bursary, a student should email Guiseppe Primiero as soon as possible requesting funding, indicating that they would be willing to give a contributed talk and stating the name of their supervisor. Subsequently, a title and abstract should be provided. The second step should be completed before August 14. Students can register for free here, but this is subject to approval by the organisers.


We have reserved a number of rooms at Hendon Hall Hotel at £110 per night (please contact Barnaby Martin). However, there is the possibility to stay at many hotels within a short tube or bus journey and these rooms are cheaper when booked by individuals through sites such as, and Links to a few nearby hotels will be provided soon.


We kindly thank the Heilbronn Institute for Mathematical Research, the London Mathematical Society and EPSRC for their sponsorship of BCTCS'15.

Booking contact: The organisers are Barnaby MartinGiuseppe Primiero and Rajagopal Nagarajan

For Further information please visit the website:

In this section

Back to top

We use Cookies

View our Privacy and Cookie policy