Britské kolokvium pro teoretickou informatiku - British Colloquium for Theoretical Computer Science

The Britské kolokvium pro teoretickou informatiku (BCTCS) je organizace založená v roce 1985, která zastupuje zájmy teoretické informatiky ve Velké Británii, např. prostřednictvím zastoupení v akademických radách a poskytování komentářů a důkazů v reakci na konzultace s veřejnými orgány. BCTCS funguje pod vedením organizačního výboru s výkonným vedením složeným z prezidenta, tajemníka a pokladníka. Současný prezident je Barnaby Martin.

Účelem BCTCS je:

  1. poskytnout platformu, ze které mohou být rozvíjeny zájmy a budoucí blahobyt britské teoretické informatiky;
  2. nabídnout fórum, na kterém se mohou setkat britští výzkumní pracovníci ve všech aspektech teoretické informatiky, prezentovat výsledky výzkumu a diskutovat o nejnovějším vývoji v této oblasti; a
  3. podporovat prostředí, ve kterém doktorandi provádějící výzkum v teoretické informatice mohou získat zkušenosti s prezentací své práce ve formální aréně, rozšířit svůj pohled na toto téma a těžit z kontaktu se zavedenými výzkumnými pracovníky v komunitě.

Při plnění těchto cílů organizuje BCTCS výroční konferenci pro rok 2006 Spojené království - výzkumní pracovníci v teoretická informatika. Ústředním aspektem výroční konference BCTCS je školení PhD studenti. Rozsah každoroční konference BCTCS zahrnuje všechny aspekty teoretické informatiky, včetně algoritmy, složitost, sémantika, formální metody, konkurence, typy, jazyky a logika. Důraz na šíři spolu s přirozeně matematickou podstatou teoretické informatiky znamená, že BCTCS vždy aktivně získává obojí počítačoví vědci a matematici jako účastníci své výroční konference a nabízí prostředí, ve kterém se obě komunity mohou setkávat a vyměňovat si nápady.

Výroční konference BCTCS je primárně ve prospěch britských výzkumných pracovníků. Avšak za účelem propagace britské teoretické počítačové vědy v širší komunitě jsou vítáni účastníci ze zemí mimo Spojené království a program pozvaných přednášek každý rok zahrnuje významné výzkumné pracovníky ze zahraničí.

Minulí důstojníci BCTCS

Minulí prezidenti

  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–2019)
  7. Barnaby Martin (2019-)

Minulé sekretářky

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

Minulé pokladníci

  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-)

Minulí zástupci postgraduálního studia

  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-2019)
  22. Karl Southern (2019-)

Viz také

externí odkazy