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.

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.


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

SPONSORS

BCTCS Logo Heilbronn Institute for Mathematical Research Logo SonyUK Logo Institute of Coding Logo Technocamps Logo EHP Logo History of Computing Collection