BCTCS 2018: British Colloquium for Theoretical Computer Science19 Mar 2018, by Sponsored events in
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.