14 - 16 April 2025, British Colloquium for Theoretical Computer Science (BCTCS 2025), Glasgow, Scotland
The BCTCS is an annual event for UK-based researchers in Theoretical Computer Science to present their research and discuss future directions. The meeting aims to provide an environment in which PhD students can gain experience in presenting their work, to broaden their outlook on the subject, and to benefit from contact with established researchers. The scope of the colloquium includes all aspects of Theoretical Computer Science, including Algorithms, Automata Theory, Complexity Theory, Concurrency, Education, Formal Methods, Languages, Logics, Semantics, and Types.
We will have the following invited speakers: Elizabeth Polgreen (Edinburgh), Nicolai Kraus (Nottingham), Jess Enright (Glasgow), Jakub Oprðal (Birmingham), Conor McBride (Strathclyde) and Rob van Glabeek (Edinburgh).
We invite 30 minute contributed talks on any topic in the scope of the colloquium. Presentations from research students and early career researchers are particularly encouraged. The scope of "theoretical computer science" is intended to be interpreted broadly. In particular, this year we invite talk proposals which detail novel and innovative ways to teach theoretical content, as part of a track focused on theoretical computer science education. For all talks, please ensure that your talk is accessible to other students who may not be specialists in your research topic. We put no restrictions on the originality or publication status of submissions.