BCTCS 2022

Just a reminder that BCTCS 2022 is taking place in April in Swansea. The registration is open until 30 March.

ABOUT THE BCTCS

The BCTCS is an annual event for UK-based researchers in Theoretical Computer Science to present their research and discuss future directions. The meeting aims to provide an environment in which PhD students can 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.

SPECIAL SESSIONS AND THEMES – Explainable AI, Security, History of TCS, Teaching of TCS

There will be two Special Sessions during the meeting: one on Explainable AI, the other on Theoretical Aspects of Security.

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.

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

BCTCS will also celebrate two important birthdays, John Tucker, 70 and Faron Moller, 60.

INVITED SPEAKERS

  • Cliff Jones (Newcastle)
  • Alexander Knapp (Augsburg)
  • Mike Paterson (Warwick)
  • Rick Thomas (Leicester)
  • Francesca Toni (Imperial)
  • John Tucker (Swansea)

SPECIAL SESSION SPEAKERS (INVITED)

  • Martin Barrere (Imperial)
  • Arnold Beckmann (Swansea)
  • Pardeep Kumar (Swansea)
  • Hoang Nga Nguyen (Coventry)
  • Hsuan Fu (Université Laval)
  • Adam Wyner (Swansea)

Happy birthday to Faron Moller 🎂

Happy 60th birthday wishes to Faron Moller from the Theory group!

Happy Birthday to John Tucker 🎂

Happy 70th birthday wishes to John Tucker from the Theory Group!

Special session in honour of Ulrich Berger @ CCC 2021

The University of Birmingham is hosting this year’s CCC 2021 Continuity, Computability, Constructivity: From Logic to Algorithms on 20-24 September 2021. There is a special session in honour of Ulrich Berger taking place on Tuesday as a part of this conference.

Troy Astarte is joining Swansea University

We are glad to welcome Troy Astarte to our Computer Science Department and the Theory Group.