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 open21 February 2025: Submission deadline- 27 February 2025: Notification of acceptance
17 March 2025: Travel bursary application deadline- 19 March 2025: Travel bursary notification
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.
Submissions are now closed. 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.
Travel Bursaries
Thanks to generous support by the Heilbronn Institute for Mathematical Research, we can offer a small number of travel bursaries up to £100 to help with travel and accommodation costs. Submissions are now closed. Preference was given to PhD students and Early Career Researchers, and those giving a talk at the Colloquium.
Registration
Registration is now open. The registration fees are 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
- 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)
Organisers
Contact: CIS_bctcs2025@groups.strath.ac.uk.
