39th British Colloquium for
Theoretical Computer Science

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.

3rd-4th April 2023, University of Glasgow

BCTCS 2023 took place at the University of Glasgow, and included special sessions on implementing theory, and computer science pedagogy. The schedule of talks that were given is available here. All talks took place in room 237B in the Advanced Research Centre.

Attendees at the BCTCS 2023


The registration deadline has now passed.

Local Organisers:
Ciaran McCreesh