BCTCS 2022

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.

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).

Local organisers:
Olga Petrovska (co-chair), Monika Seisenberger (co-chair)
Troy Astarte, Xiuyi Fan (organiser of Explainable AI session), Phillip James, Faron Moller, Pierre Pradic, Liam O'Reilly, Filippos Pantekis, Markus Roggenbach (organiser of Security session), John Tucker.


BCTCS Logo Heilbronn Institute for Mathematical Research Logo Engineering and Physical Sciences Research Council Logo Institute of Coding Logo Technocamps Logo EHP Logo History of Computing Collection SonyUK Logo