40th British Colloquium for Theoretical Computer Science
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 will take place at the University of Bath on 4–5 April, where it will be co-located with the Southern and Midlands Logic Seminar.

The event has received financial support from the British Logic Colloquium and the Department of Computer Science at Bath, while the Southern and Midlands Logic Seminar is supported through the London Mathematical Society's Joint Research Groups scheme.

Registration and 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 submit your title and abstract by email to trjp20@bath.ac.uk. 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.

To register, please follow the link here. Standard registration is £40, with a reduced fee of £20 for students or retired participants.

Student bursaries

A small number of travel bursaries of up to £150 will be available. These are aimed at PhD students who do not have alternative sources of funding. To apply for a bursary, please contact trjp20@bath.ac.uk.

Bursaries will be awarded on a first-come first-served basis. Applications should be made before the deadline for abstract submission.

These bursaries have been made available through generous sponsorship from the British Logic Colloquium.

Important dates

Invited speakers

Titles and abstracts to appear soon


BCTCS will take place on 4 April and the morning of 5 April, and followed by the Southern and Midlands Logic Seminar on the afternoon of 5 April. Registered participants of BCTCS are free to attend SMLS at no extra charge.

We anticipate arrivals from 10:30 on 4 April, which should make it possible for participants from the South-West and London to travel up on the first day without needing overnight accommodation on 3 April.

A detailed programme will be announced in due course.

Travel and accommodation

The main campus of the University of Bath is located on a hilltop just outside the city centre. It is within walking distance from Bath Spa train station in principle, but you should allow 30–40 minutes and be wary that the route involves a steep uphill climb. A more comfortable alternative is to take one of the regular bus connections from the city centre to the campus. Further information on how to get to the university can be found here, with details of bus routes here.

Talks will take place in the Chancellors' Building room 1.12. The campus map might be helpful if you get lost.

Bath is a major tourist destination, and offers a huge range of hotels, bed and breakfasts and hostels. A useful website is https://www.stayinbath.org/, and the local organisers are happy to offer further recommendations.

Local organisers