BCTCS 2020

36th British Colloquium for Theoretical Computer Science

6-8 April 2020, Swansea

*** NOTICE: ***

Due to the COVID-19 pandemic, this year's BCTCS will be held as a virtual conference via Zoom. We have limited experience doing this - so wish us well. We expect there to be some hiccups, but overall expect things to work out.

Anyone can participate in the meeting (there is no registration fee). The instructions for joining can be found here.

If you have any questions or difficulties, please email L.P.OReilly@swansea.ac.uk.

*** END OF NOTICE: ***

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 2020 is the 36th conference in the series and is being held together with a workshop organized by AlgoUK, a network for the UK's algorithms and complexity research community.


Local Organisers: Ulrich Berger, Faron Moller, Markus Roggenbach, Monika Seisenberger, Olga Petrovska, Liam O'Reilly.

SPONSORS

BCTCS Logo AlgoUK Logo London Mathematical Society Logo Technocamps Logo Institute of Coding Logo SonyUK Logo