BCTCS 2016

 ** (Registrations for those wishing to present are still open at regular rates upto Sunday, 28 February 2016). Please see below. **
 ** Final registrations (without presentation): Saturday, March 5th, 2016. **

The 32nd British Colloquium of Theoretical Computer Science (BCTCS 2016) will be held at Queen's University Belfast on March 22-24 2016. The organisers are Amitabh Trehan, Pooya FarshimPeter Robinson and Alan Stewart. Here's a poster/cfp in pdf.

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.

Invited Speakers:

Themes of Special Interest

All aspects of theoretical computer science. The full list of topics can be found here


BCTCS 2016 will be hosted in the Graduate School (just off the quadrangle of the main university building; see here  or below for directions to the temporary entrance).

HIMR Bursaries for PhD students

We are grateful for support from the Heilbronn Institute for Mathematical Research which will provide bursaries for 5 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). If you wish to apply for a bursary, please email bctcs@qub.ac.uk as soon as possible, indicating that you would be willing to give a contributed talk and stating the name of your supervisor. Subsequently, a title and abstract should be provided. The supervisor should write a letter of support to the same email address, confirming that the student will attend BCTCS’16 and indicating what, if any, other sources of funding are available. Please note that bursaries will be awarded to the first 5 applicants who meet the requirements above.

Contributed Talks

Participants wishing to give a 30 minute contributed talk on any topic in the scope of the colloquium need to email a title and abstract to  bctcs@qub.ac.uk. Presentations from research students and early career researchers are particularly encouraged. Contributions are not peer reviewed. The titles and abstracts of invited and selected contributed talks will appear in the Bulletin of the EATCS.


To register for the colloquium please click here. Early registration should take place before 15 February 2016. The early registration fee for the colloquium is £160, which includes lunches/coffee/tea on all days and a drinks reception and conference dinner on Wednesday 23 March. After this date a late registration fee will apply. Please contact bctcs@qub.ac.uk if you have any problems.


We have reserved a limited number of places at Stranmillis University College (a college of Queen's University) at a good rate. Stranmillis College is a 10 minute walk from the main university campus. Accommodation at Stranmillis University College must be booked directly through the Stranmillis University College.

Travel Links

Information about travelling to Queen's University can be found here.
  • Belfast International Airport (20 miles)
  • George Best Airport (5 miles)


There are plenty of things to do and places to visit in beautiful Northern Ireland and Republic of Ireland (please note some may need a separate visa) and the city of Belfast:

http://visit-belfast.com/things-to-do (e.g. Titanic quarter, Crumlin Gaol, Mural Walls, Museums, Botanic garden etc..)

https://www.discovernorthernireland.com/todo/ (e.g. Giants Causeway, Coastal Route, Carrick-a-Rede, Game of Thrones tours etc...)

http://www.discoverireland.ie/things-to-do/ (e.g. Dublin, Beaches and Parks etc etc....)


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