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.
Important dates
- 16 December 2024: Abstract submission open
- 21 February 2025: Submission deadline
- 5 March 2025: Notification of acceptance
- 24 March 2025: Early registration deadline
- 7 April 2025: Late registration deadline
- 14–16 April 2025: Colloquium
Contributed talks
We invite 30 minute contributed talks on any topic in the scope of the colloquium. Presentations from research students and early career researchers are particularly encouraged.
To propose a talk, please fill in the submission form. We put no restrictions on the originality or publication status of submissions. There will be no formal proceedings, but the collection of the contributed abstracts will appear in the Bulletin of the EATCS.
Registration
We hope to open registrations in January 2025. The registration fees will be as follows:
- Early registration (until 24 March): £45
- Late registration (until 7 April): £60
If you would struggle to pay the registration fee, please get in touch with the organisers.
Invited speakers
To be announced.
Organisers
Contact: CIS_bctcs2025@groups.strath.ac.uk.
