BCTCS 2018: British Colloquium for Theoretical Computer Science

19 Mar 2018, by ablahatherell in Sponsored events

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.