The BCTCS is an annual event for UK-based researchers in Th eoretical Computer Science to present their resear ch and discuss future directions. The meeting aims to provide an environment in which PhD students c an gain experience in presenting their work, to br oaden their outlook on the subject, and to benefit from contact with established researchers. The sc ope of the colloquium includes all aspects of Theo retical Computer Science, including Algorithms, Au tomata Theory, Complexity Theory, Concurrency, Edu cation, Formal Methods, Languages, Logics, Semanti cs, and Types.
\nWe will have the followin g invited speakers: Elizabeth Polgreen (Edinburgh) , Nicolai Kraus (Nottingham), Jess Enright (Glasgo w), Jakub Oprðal (Birmingham), Conor McBride (Stra thclyde) and Rob van Glabeek (Edinburgh).
\nWe invite 30 minute contribut ed talks on any topic in the scope of the colloqui um. Presentations from research students and early career researchers are particularly encouraged. T he scope of "theoretical computer science&quo t; is intended to be interpreted broadly. In parti cular, this year we invite talk proposals which de tail novel and innovative ways to teach theoretica l content, as part of a track focused on theoretic al computer science education. For all talks, plea se ensure that your talk is accessible to other st udents who may not be specialists in your research topic. We put no restrictions on the originality or publication status of submissions.
\n&n bsp;
\n