The British Colloquium for Theoretical Computer Science (BCTCS) is an organisation that hosts an annual event for UK-based researchers in theoretical computer science. A central aspect of BCTCS is the training of PhD students.
The purpose of BCTCS is:
- to offer a regular forum in which UK-based researchers in all aspects of theoretical computer science can meet, present research findings, and discuss recent developments in the field;
- to foster an environment within which PhD students undertaking research in theoretical computer science may gain experience in presenting their work in a formal arena, broaden their outlook on the subject, and benefit from contact with established researchers in the community; and
- to provide a platform by which the interests and future well-being of British theoretical computer science may be advanced.
The scope of BCTCS includes all aspects of theoretical computer science, including algorithms, complexity, semantics, formal methods, concurrency, types, languages and logics. An emphasis on breadth, together with the inherently mathematical nature of theoretical computer science, means that BCTCS always actively solicits both computer scientists and mathematicians as participants, and offers an environment within which the two communities can meet and exchange ideas.
BCTCS is primarily for the benefit of UK-based researchers. However, to help promote British theoretical computer science in the wider community, BCTCS is also advertised at the international level; participants from outside of the UK are welcome to attend the annual meeting, and the programme of invited talks regularly includes high-profile researchers from outside of the UK.
The first BCTCS meeting was organised in 1985 by John V. Tucker at the University of Leeds.
The BCTCS operates under the direction of an Organising Committee, with an Executive consisting of a President, Secretary and Treasurer. The current President is Faron Moller.
Famous quotes containing the words british, theoretical, computer and/or science:
“The British do not expect happiness. I had the impression, all the time that I lived there, that they do not want to be happy; they want to be right.”
—Quentin Crisp (b. 1908)
“The hypothesis I wish to advance is that ... the language of morality is in ... grave disorder.... What we possess, if this is true, are the fragments of a conceptual scheme, parts of which now lack those contexts from which their significance derived. We possess indeed simulacra of morality, we continue to use many of the key expressions. But we have—very largely if not entirely—lost our comprehension, both theoretical and practical, of morality.”
—Alasdair Chalmers MacIntyre (b. 1929)
“What, then, is the basic difference between today’s computer and an intelligent being? It is that the computer can be made to see but not to perceive. What matters here is not that the computer is without consciousness but that thus far it is incapable of the spontaneous grasp of pattern—a capacity essential to perception and intelligence.”
—Rudolf Arnheim (b. 1904)
“The method of political science ... is the interpretation of life; its instrument is insight, a nice understanding of subtle, unformulated conditions.”
—Woodrow Wilson (1856–1924)