42^nd British Colloquium for Theoretical Computer Science
& 14^th Southern and Midlands Logic Seminar
University of Birmingham, March 30 – April 1 2026

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.

The 42nd BCTCS will be co-located with the 14th Southern and Midlands Logic Seminar (SMLS), which will take place on the afternoon of Wednesday 1st April, 2026.

Important dates

Mid January 2026: Abstract submission opens Now open!
Early February 2026: Registration opens
28th February 2026: Deadline for abstract submission
6th March 2026: Notification of acceptance
15th March 2026: Deadline for registration
30 March–1 April 2026: Colloquium

Abstract submission

The program will include a number of contributed talks of around 20 minutes each (possibly in parallel sessions). Everyone is welcome to submit an abstract. PhD students and post-docs are in particular encouraged to contribute.

The abstract submission is now open at: https://forms.cloud.microsoft/e/N3jBkQys2z

Registration

TBA

Invited speakers

Corina Cirstea (University of Southampton)(joint with SMLS)
Mirco Giacobbe (University of Birmingham)
Ján Pich (University of Oxford)
Azalea Raad (Imperial College London)
Joachim Spoerhase (University of Liverpool)
Phil Wadler (University of Edinburgh)

Programme

TBA

42nd British Colloquium for Theoretical Computer Science & 14th Southern and Midlands Logic Seminar University of Birmingham, March 30 – April 1 2026