40th British Colloquium for Theoretical Computer Science
& 5th Southern and Midlands Logic Seminar
University of Bath, April 4–5 2024
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 2024 took place at the University of Bath on 4–5 April, where it was co-located with the Southern and Midlands Logic Seminar.
The event received financial support from the British Logic Colloquium and the Department of Computer Science at Bath, while the Southern and Midlands Logic Seminar was supported through the London Mathematical Society's Joint Research Groups scheme.
See the programme for details of the talks.
Important dates
- 18 January 2024: Abstract submission and registration open
- 1 March 2024: Deadline for abstract submission and applications for bursaries
- 8 March 2024: Notification of acceptance
- 22 March 2024: Deadline for registration
- 4–5 April 2024: Colloquium
Invited speakers
- Anupam Das (University of Birmingham)
- Alex Kavvos (University of Bristol)
- Stuart Matthews (Capgemini Engineering)
- Monika Seisenberger (Swansea University)
Organisers
