BCTCS 2022

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.

This year's special theme is History of Theoretical Computer Science. Four of the Invited Speakers have been chosen based on their lifetime achievements in developing Theoretical Computer Science in the UK and have been invited to present personal histories of their fields of expertise. The History of TCS in Britain talks are sponsored by EHP - Educational, Historical and Philosophical Foundations in Computer Science, the Research arm of Technocamps.

BCTCS 2022 will include two special sessions: one on Explainable AI, the other on Theoretical Aspects of Security.

At the end of the first day there will be a discussion event on the Pedagogy of Theoretical Computer Science, led by Barnaby Martin and Eleni Akrida.

This year, BCTCS will celebrate two important birthdays, John Tucker, 70, who co-founded BCTCS, and Faron Moller, 60, who was the president of BCTCS for many years (2004-2019).