14 – 16 April 2025

University of Strathclyde, Glasgow, Scotland, UK

Supported by the Heilbronn Institute Small Grants Scheme

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.

Organisers:

Alasdair Lambert (Strathclyde)
Fredrik Nordvall Forsberg (Strathclyde)
Sean Watters (Strathclyde)

Speakers:

Jess Enright (Glasgow)
Ruth Hoffmann (St Andrews)
Rob van Glabeek (Edinburgh)
Nicolai Kraus (Nottingham)
Conor Mc Bride (Strathclyde)
Jakub Opršal (Birmingham)
Elizabeth Polgreen (Edinburgh)

More information on the conference website