26-28 March 2018

Royal Holloway, University of London

The purpose of BCTCS is to bring together researchers in theoretical computer science to present their research and discuss future directions. It aims to provide an environment in which PhD students can present their work, and get into contact with their peers and experienced 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.

For more information, please visit their website here.