British Colloquium for Theoretical Computer Science

British Colloquium for Theoretical Computer Science

__NOTOC__

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.

Past Officers of the BCTCS

Past Presidents

# John V. Tucker (1985–1992)
# Alan Gibbons (1992–1998)
# Iain Stewart (1998–1999)
# Paul Dunne (1999–2001)
# Chris Tofts (2001–2004)
# Faron Moller (2004–)

Past Secretaries

# Mark Jerrum (1989–1992)
# Paul Dunne (1992–1999)
# Julian Bradfield (1999–2005)
# Graham Hutton (2005–)

Past Treasurers

# David Rydeheard (1989–1996)
# Chris Tofts (1996–2001)
# Faron Moller (2001–2004)
# Stephan Reiff-Marganiec (2004–)

ee also

* Formal Aspects of Computing Science, a British Computer Society Specialist Group.

External links

* [http://www.bctcs.ac.uk/ The British Colloquium for Theoretical Computer Science]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • List of computer science conferences — This is a list of academic conferences in computer science. Most of these academic conferences are annual or bi annual events.The order with which the conferences are listed in their respective fields corresponds to a rough and non authoritative… …   Wikipedia

  • David Turner (computer scientist) — This article is about the computer scientist. For others with this name, see David Turner (disambiguation). Professor David Turner is a British computer scientist. He has a D.Phil. from the University of Oxford. He has held professorships at… …   Wikipedia

  • BCTCS — British Colloquium for Theoretical Computer Science (informationswissenschaftl. Veoeffentlichungen) …   Acronyms

  • BCTCS — British Colloquium for Theoretical Computer Science (informationswissenschaftl. Veröffentlichungen) …   Acronyms von A bis Z

  • John V. Tucker — John Vivian Tucker (born 1952) is a British computer scientist and expert on computability theory, also known as recursion theory. His work has focussed on generalizing the classical theory to deal with all forms of discrete/digital and… …   Wikipedia

  • Faron Moller — Faron George Moller (born 1962) is a Canadian born British computer scientist.Faron Moller studied mathematics and computer science as an undergraduate at the University of British Columbia, and then as a Masters student at the University of… …   Wikipedia

  • Chris Tofts — (born 1964) is an English computer scientist.[1] Chris Tofts studied mathematics as an undergraduate at Clare College, Cambridge, followed by a Diploma in Computer Science from the same college. He went on to do a PhD supervised by Robin Milner… …   Wikipedia

  • Stephan Reiff-Marganiec — is a German born British computer scientist.Stephan Reiff Marganiec studied computer science as an undergraduate at the University of Wales, Swansea, and then obtained a PhD supervised by Muffy Calder at the University of Glasgow.Stephan Reiff… …   Wikipedia

  • Mike Paterson — For those of a similar name, see Mike Patterson (disambiguation) and Michael Paterson (disambiguation). Mike Paterson Nationality British Fields Computer Science …   Wikipedia

  • Alan Turing — Turing redirects here. For other uses, see Turing (disambiguation). Alan Turing Turing at the time of his election to Fellowship of the Royal Society …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”