March 22-24 2016

Queen’s University Belfast

Organisers: Amitabh Trehan, Pooya Farshim, Peter Robinson and Alan Stewart.

Sponsors: Heilbronn Institute for Mathematical Research and the London Mathematical Society

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:

• Valerie King (University of Victoria, Canada) The LMS Keynote Speaker in Discrete Maths
• Michael J Butler (University of Southampton)
• Rob Gilles (Queen’s University Belfast)
• Magnús Halldórsson (Reykjavik University)
• Matthew Hennessy (Trinity College Dublin)

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.

Further details