Британский коллоквиум по теоретической информатике

Британский коллоквиум по теоретической информатике ( 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–2020)
6. Мишель Зито (2020–2023)
7. Оана Андрей (2023-)

Казначеи

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

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

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-2020)
23. Филиппос Пантекис (2020–2021)
24. Майкл Маккей (2021–2022)
25. Мир Аегба (2022-2023 гг.)
26. Дэвид Катнер (2023-)

Конференции BCTCS

1985 - BTCSC 1 - Университет Лидса, 1–3 апреля 1985 г. (организаторы: Джон Такер и Стэн Вайнер)

1986 - BTCSC 2 - Уорикский университет, 24–26 марта 1986 г. (организаторы: Мейриг Бейнон и Стив Мэтьюз)

1987 - BCTCS 3 - Лестерский университет, 13–15 апреля 1987 г. (организатор: Дерек Эндрюс)

1988 - BCTCS 4 - Эдинбургский университет, 28–31 марта 1988 г. (организатор: Марк Джеррум)

1989 - BCTCS 5 - Новый колледж Ройал Холлоуэй и Бедфорд, 11–13 апреля 1989 г. (организаторы: Костас Илиополус и Джон Шоу-Тейлор)

1990 - BCTCS 6 - Манчестерский университет, 28–30 марта 1990 г. (организатор: Дэвид Райдхард)

1991 - BCTCS 7 - Ливерпульский университет, 26–28 марта 1991 г. (организатор: Пол Данн)

1992 - BCTCS 8 - Университет Ньюкасла, 24–26 марта 1992 г. (организатор: Иэн Стюарт)

1993 - BCTCS 9 - Йоркский университет, 28–31 марта 1993 г. (организатор: Хусейн Зедан)

1994 - BCTCS 10 - Бристольский университет, 28–30 марта 1994 г. (организатор: Брайан Стоунбридж)

1995 - BCTCS 11 - Уэльский университет, Суонси, 2–5 апреля 1995 г. (организатор: Крис Тофтс)

1996 - BCTCS 12 - Кентский университет в Кентербери, 1–4 апреля 1996 г. (организатор: Саймон Томпсон)

1997 - BCTCS 13 - Университет Шеффилда, 23–26 марта 1997 г. (организаторы: Майк Холкомб и Мэтт Фэйртлау)

1998 - BCTCS 14 - Университет Сент-Эндрюс, 31 марта - 2 апреля 1998 г. (организатор: Том Келси)

1999 - BCTCS 15 - Университет Кила, 14–16 апреля 1999 г. (организатор: Джон Стелл)

2000 г. - BCTCS 16 - Ливерпульский университет, 10–12 апреля 2000 г. (организатор: Мартин Амос)

2001 г. - BCTCS 17 - Университет Глазго, 9–12 апреля 2001 г. (организатор: Стефан Райфф-Марганец)

2002 г. - BCTCS 18 - HP Laboratories, Бристоль, 7–10 апреля 2002 г. (организатор: Крис Тофтс)

2003 г. - BCTCS 19 - Лестерский университет, 7–9 апреля 2003 г. (организатор: Нил Гани)

2004 г. - BCTCS 20 - Университет Стерлинга, 5–8 апреля 2004 г. (организаторы: Стефан Райфф-Марганек и Каррон Шенкленд)

2005 г. - BCTCS 21 - Ноттингемский университет, 21–24 марта 2005 г. (организатор: Грэм Хаттон)

2006 г. - BCTCS 22 - Университет Суонси, 4–7 апреля 2006 г. (организаторы: Фарон Мёллер и Маркус Роггенбах)

2007 г. - BCTCS 23 - Оксфордский университет, 2–5 апреля 2007 г. (организаторы: Шэрон Кертис и Джереми Гиббонс)

2008 г. - BCTCS 24 - Даремский университет, 7–10 апреля 2008 г. (организаторы: Хаджо Броерсма, Том Фридецкий и Дэниел Паулусма)

2009 г. - BCTCS 25 - Уорикский университет, 6–9 апреля 2009 г. (организаторы: Артур Чумай, Сара Калвала и Стив Мэтьюз)

2010 г. - BCTCS 26 - Эдинбургский университет, 6–9 апреля 2010 г. (организаторы: Джулиан Брэдфилд и Мэри Крайан)

2011 г. - BCTCS 27 - Бирмингемский университет, 18–21 апреля 2011 г. (организаторы: Ахим Юнг и Пол Леви)

2012 г. - BCTCS 28 - Манчестерский университет, 2–5 апреля 2012 г. (организатор: Ян Пратт-Хартманн)

2013 г. - BCTCS 29 - Университет Бата, 24–27 марта 2013 г. (организаторы: Джеймс Дэвенпорт, Гай Маккаскер)

2014 г. - BCTCS 30 - Университет Лафборо, 9–11 апреля 2014 г. (организаторы: Пол Белл и Дэниел Райденбах)

2015 г. - BCTCS 31 - Университет Миддлсекса, 14–18 сентября 2015 г. (организаторы: Барнаби Мартин, Джузеппе Примеро и Раджагопал Нагараджан)

2016 г. - BCTCS 32 - Королевский университет в Белфасте, 22–24 марта 2016 г. (организаторы: Амитабх Трехан, Пуя Фаршим, Питер Робинсон и Алан Стюарт)

2017 г. - BCTCS 33 - Университет Сент-Эндрюс, 26–28 апреля 2017 г. (организатор: Маркус Пфайффер)

2018 г. - BCTCS 34 - Лондонский университет Роял Холлоуэй, 26–28 марта 2018 г. (организатор: Мэтью Хейг)

2019 г. - BCTCS 35 - Даремский университет, 15–17 апреля 2019 г. (Организаторы: Мэтью Джонсон, Барнаби Мартин, Джордж Мерциос и Даниэль Паулусма.)

2020 г. - BCTCS 36 - Университет Суонси, 6–8 апреля 2020 г. (организаторы: Ульрих Бергер, Фарон Мёллер, Маркус Роггенбах, Моника Зайзенбергер, Ольга Петровска и Лиам О'Рейли)

2021 г. - BCTCS 37 - Ливерпульский университет, 29–31 марта 2021 г. (организаторы: Патрик Тоцке и Мишель Зито)

2022 г. - BCTCS 38 - Университет Суонси, 11–13 апреля 2022 г. (организаторы: Моника Зайзенбергер и Ольга Петровска)

2023 г. - BCTCS 39 - Университет Глазго, 3–4 апреля 2023 г. (организатор: Киаран МакКриш)

2024 г. - BCTCS 40 - Университет Бата, 4–5 апреля 2024 г. (организаторы: Джеймс Дэвенпорт и Томас Пауэлл)

См. также

• Формальные аспекты информатики , группа специалистов Британского компьютерного общества .

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

• Веб-сайт Британского коллоквиума по теоретической информатике