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 will include special sessions on security and explainable AI and history of theoretical computer science.

The History of TCS in Britain talks are sponsored by EHP - Educational, Historical and Philosophical Foundations in Computer Science, the Research arm of Technocamps.

Further details to be announced.


Local Organisers:
Olga Petrovska (co-chair), Monika Seisenberger (co-chair)
Xiuyi Fan, Faron Moller, Pierre Pradic, Liam O'Reilly, Markus Roggenbach, John Tucker.

SPONSORS

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