Британский коллоквиум по теоретической информатике - British Colloquium for Theoretical Computer Science

В Британский коллоквиум по теоретической информатике (BCTCS) - это организация, основанная в 1985 году, которая представляет интересы теоретической информатики в Великобритании, например через представительство в академических советах и ​​предоставление комментариев и доказательств в ответ на консультации государственных органов. BCTCS работает под руководством Организационного комитета, исполнительный орган которого состоит из президента, секретаря и казначея. Действующий президент Барнаби Мартин.

Целью BCTCS является:

  1. предоставить платформу для продвижения интересов и будущего благополучия британской теоретической информатики;
  2. предложить форум, на котором британские исследователи по всем аспектам теоретической информатики могут встретиться, представить результаты исследований и обсудить последние разработки в этой области; и
  3. способствовать созданию среды, в которой аспиранты, проводящие исследования в области теоретической информатики, могут получить опыт в представлении своей работы на формальной арене, расширить свой кругозор по предмету и получить пользу от контактов с признанными исследователями в сообществе.

Преследуя эти цели, BCTCS организует ежегодную конференцию для Великобритания -основные исследователи в теоретическая информатика. Центральным аспектом ежегодной конференции BCTCS является обучение кандидат наук ученики. Ежегодная конференция BCTCS включает в себя все аспекты теоретической информатики, в том числе: алгоритмы, сложность, семантика, формальные методы, параллелизм, типы, языки и логика. Акцент на широте охвата наряду с математической природой теоретической информатики означает, что BCTCS всегда активно требует и компьютерные ученые и математики в качестве участников своей ежегодной конференции и предлагает среду, в которой два сообщества могут встречаться и обмениваться идеями.

Ежегодная конференция BCTCS предназначена в первую очередь для британских исследователей. Тем не менее, чтобы продвигать британскую теоретическую информатику в более широком сообществе, приглашаются участники из-за пределов Великобритании, а программа приглашенных докладов каждый год включает высокопоставленных исследователей из-за границы.

Прошлые офицеры BCTCS

Прошлые президенты

  1. Джон В. Такер (1985–1992)
  2. Алан Гиббонс (1992–1998)
  3. Иэн Стюарт (1998–1999)
  4. Пол Данн (1999–2001)
  5. Крис Тофтс (2001–2004)
  6. Фарон Моллер (2004–2019)
  7. Барнаби Мартин (2019-)

Бывшие секретари

  1. Марк Джеррам (1989–1992)
  2. Пол Данн (1992–1999)
  3. Джулиан Брэдфилд (1999–2005)
  4. Грэм Хаттон (2005–2011)
  5. Дэвид Манлав (2011-)

Казначеи прошлого

  1. Дэвид Райдхард (1989–1996)
  2. Крис Тофтс (1996–2001)
  3. Фарон Моллер (2001–2004)
  4. Стефан Райфф-Марганец (2004–2018 гг.)
  5. Мэтью Хейг (2018-)

Прошлые представители аспирантов

  1. Савита Чаухан (1995-1997)
  2. Билли Дакворт (1997-1998)
  3. Ричард Голт (1998-1999)
  4. Мэй Линь Хуэй (1999-2000)
  5. Пол Сант (2000-2003)
  6. Коринна Эльзенбройх (2003-2004)
  7. Владимир Алексич (2004-2005)
  8. Джоэл Райт (2005-2006)
  9. Иоахим Баран (2006-2007)
  10. Темесген Кахсай Азене (2007–2008 годы)
  11. Харис Азиз (2008–2009)
  12. Джулиан Гутьеррес (2009–2010)
  13. Радхакришнан Делибабу (2010–2011)
  14. Лоуренс Э. Дэй (2011-2012)
  15. Энди Лоуренс (2012-2013)
  16. Августин Кванаши (2013-2014)
  17. Паван Сангха (2014-2015)
  18. Брэм Джерон (2015-2016)
  19. Томас ван Бинсберген (2016-2017)
  20. Фрэнсис Купер (2017-2018)
  21. Софиат Олаосебикан (2018-2019)
  22. Карл Южный (2019-)

Смотрите также

внешние ссылки