38th British Colloquium for Theoretical Computer Science
11-13 April 2022, Swansea
The British Colloquium for Theoretical Computer Science (BCTCS) is an annual event for UK-based researchers in theoretical computer science. A central aspect of BCTCS is the training of PhD students, providing an environment for students to 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 automata theory, algorithms, complexity theory, semantics, formal methods, concurrency, types, languages and logics.
BCTCS 2022 is the 38th conference in the series and will take place from Monday 11th April to Wednesday 13the April.
A special theme for BCTCS 2022 will be the History of Theoretical Computer Science in the UK, and will feature four Keynote Speakers with lifetime achievements in developing theoretical computer science in the UK who will present personal histories of their fields of expertise. These talks are sponsored by EHP - Educational, Historical and Philosophical Foundations in Computer Science, the Research arm of Technocamps, encompassing Swansea University's History of Computing Collection (HoCC).
BCTCS 2022 will also include two special sessions: one on Security and the other on Explainable AI.