Coloquio británico de informática teórica


El Coloquio Británico de Ciencias de la Computación Teórica ( BCTCS ) es una organización, fundada en 1985, que representa los intereses de la Ciencia de la Computación Teórica en el Reino Unido, por ejemplo, mediante representación en juntas académicas y proporcionando comentarios y evidencia 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, un Secretario y un Tesorero. El actual presidente es Barnaby Martin .

En pos 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 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 tantoinformá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 de BCTCS está destinada principalmente a 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 pueden asistir, y el programa de charlas invitadas cada año incluye investigadores de alto perfil del extranjero.