El Coloquio Británico de Ciencias Informáticas Teóricas ( BCTCS ) es una organización, fundada en 1985, que representa los intereses de las Ciencias Informáticas Teóricas en el Reino Unido, por ejemplo, a través de representación en consejos académicos y proporcionando comentarios y pruebas en respuesta a consultas de organismos públicos. El BCTCS opera bajo la dirección de un Comité Organizador, con un Ejecutivo compuesto por un Presidente, Secretario y Tesorero. El presidente actual es Barnaby Martin .
En busca de estos objetivos, el BCTCS organiza una conferencia anual para investigadores del Reino Unido en informática teórica . Un aspecto central de la Conferencia anual BCTCS es la formación de estudiantes de doctorado . El alcance de la Conferencia anual de BCTCS incluye todos los aspectos de la informática teórica, incluidos los algoritmos , la complejidad , la semántica , los métodos formales , la concurrencia , los tipos , los lenguajes y la lógica . Un énfasis en la amplitud, junto con la naturaleza inherentemente matemática de la informática teórica, significa que BCTCS siempre solicita activamente ambosinformáticos y matemáticos como participantes en su conferencia anual, y ofrece un entorno en el que las dos comunidades pueden reunirse e intercambiar ideas.
La Conferencia Anual BCTCS es principalmente para el beneficio de los investigadores del Reino Unido. Sin embargo, para promover la informática teórica británica en la comunidad en general, los participantes de fuera del Reino Unido están invitados a asistir, y el programa de charlas invitadas cada año incluye investigadores de alto perfil del exterior.