42nd British Colloquium for Theoretical Computer Science
& 14th 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
- Early (TBC) January 2026: Abstract submission and registration open
- Early (TBC) March 2026: Deadline for abstract submission and applications for bursaries
- Early (TBC) March 2026: Notification of acceptance
- Mid (TBC) March 2026: Deadline for registration
- 30 March–1 April 2026: Colloquium
Abstract submission
TBA
Registration and bursaries
TBA
Invited speakers
TBA
Programme
TBA
Social events
TBA
Organisers
- Todd Waugh Ambridge
- Paul Levy
- Jakub Opršal
- Jamie Hough
