请输入您要查询的百科知识:

 

词条 British Colloquium for Theoretical Computer Science
释义

  1. Past officers of the BCTCS

     Past presidents  Past secretaries  Past treasurers  Past postgraduate representatives 

  2. See also

  3. External links

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:

  1. 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;
  2. 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
  3. 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

  1. John V. Tucker (1985–1992)
  2. Alan Gibbons (1992–1998)
  3. Iain Stewart (1998–1999)
  4. Paul Dunne (1999–2001)
  5. Chris Tofts (2001–2004)
  6. Faron Moller (2004–)

Past secretaries

  1. Mark Jerrum (1989–1992)
  2. Paul Dunne (1992–1999)
  3. Julian Bradfield (1999–2005)
  4. Graham Hutton (2005–2011)
  5. David Manlove (2011-)

Past treasurers

  1. David Rydeheard (1989–1996)
  2. Chris Tofts (1996–2001)
  3. Faron Moller (2001–2004)
  4. Stephan Reiff-Marganiec (2004–2018)
  5. Matthew Hague (2018-)

Past postgraduate representatives

  1. Savita Chauhan (1995-1997)
  2. Billy Duckworth (1997-1998)
  3. Richard Gault (1998-1999)
  4. Mei Lin Hui (1999-2000)
  5. Paul Sant (2000-2003)
  6. Corinna Elsenbroich (2003-2004)
  7. Vladimir Aleksic (2004-2005)
  8. Joel Wright (2005-2006)
  9. Joachim Baran (2006-2007)
  10. Temesghen Kahsai Azene (2007–2008)
  11. Haris Aziz (2008–2009)
  12. Julian Gutierrez (2009–2010)
  13. Radhakrishnan Delhibabu (2010–2011)
  14. Laurence E. Day (2011-2012)
  15. Andy Lawrence (2012-2013)
  16. Augustine Kwanashie (2013-2014)
  17. Pavan Sangha (2014-2015)
  18. Bram Geron (2015-2016)
  19. Thomas van Binsbergen (2016-2017)
  20. Frances Cooper (2017-2018)
  21. Sofiat Olaosebikan (2018-)

See also

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

External links

  • The British Colloquium for Theoretical Computer Science website

7 : Organizations established in 1985|Learned societies of the United Kingdom|Science and technology in the United Kingdom|Computer science organizations|Theoretical computer science|Formal methods organizations|1985 establishments in the United Kingdom

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/9/23 11:24:07