** (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 Farshim, Peter 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.
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).
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 email@example.com 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.
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 firstname.lastname@example.org. 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.
Stranmillis University College.
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 email@example.com if you have any problems.
Information about travelling to Queen's University can be found here.
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....)