英国理論計算機科学コロキウム

英国理論計算機科学コロキウム( BCTCS ) は 1985 年に設立された組織で、英国における理論計算機科学の利益を代表する組織です。たとえば、学術委員会への代表参加や、公的機関からの諮問に対するコメントや証拠の提供などを通じて活動しています。BCTCS は組織委員会の指導の下で運営され、執行部は会長、秘書、会計係で構成されています。現在の会長は Barnaby Martin です。

BCTCS の目的は次のとおりです。

1. 英国の理論計算機科学の利益と将来の発展を促進するためのプラットフォームを提供すること。
2. 英国を拠点とする理論計算機科学のあらゆる分野の研究者が集まり、研究成果を発表し、この分野の最近の進展について議論できるフォーラムを提供すること。
3. 理論計算機科学の研究に取り組む博士課程の学生が、正式な場で研究成果を発表する経験を積み、研究テーマに対する視野を広げ、コミュニティ内の著名な研究者との交流から恩恵を受けることができる環境を育成すること。

これらの目的を達成するために、BCTCS は英国を拠点とする理論計算機科学の研究者向けに年次会議を開催しています。年次 BCTCS 会議の中心的な側面は、博士課程の学生のトレーニングです。年次 BCTCS 会議の範囲には、アルゴリズム、複雑性、セマンティクス、形式手法、並行性、型、言語、ロジックなど、理論計算機科学のすべての側面が含まれます。幅広さと理論計算機科学の本質的な数学的性質を重視するため、BCTCS は年次会議の参加者として常に計算機科学者と数学者の両方を積極的に募集し、2つのコミュニティが出会ってアイデアを交換できる環境を提供しています。

毎年開催される BCTCS カンファレンスは、主に英国を拠点とする研究者を対象としています。ただし、英国の理論計算機科学をより広いコミュニティに広めるため、英国外からの参加者も歓迎しており、毎年の招待講演プログラムには海外の著名な研究者も参加しています。

1. ジョン・V・タッカー（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. ローレンス・E・デイ（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-）

1985 – BTCSC 1 – リーズ大学、1985 年 4 月 1 日～3 日 (主催者: ジョン・タッカー、スタン・ウェイナー)

1986 – BTCSC 2 – ウォーリック大学、1986 年 3 月 24 ～ 26 日 (主催者: Meurig Beynon および Steve Matthews)

1987 – BCTCS 3 – レスター大学、1987 年 4 月 13 ～ 15 日 (主催者: デレク アンドリュース)

1988 – BCTCS 4 – エディンバラ大学、1988 年 3 月 28 日～31 日 (主催者: マーク ジェラム)

1989 – BCTCS 5 – ロイヤル ホロウェイおよびベッドフォード ニュー カレッジ、1989 年 4 月 11 ～ 13 日 (主催者: コスタス イリオポロスおよびジョン ショー テイラー)

1990 – BCTCS 6 – マンチェスター大学、1990 年 3 月 28 ～ 30 日 (主催者: David Rydeheard)

1991 – BCTCS 7 – リバプール大学、1991 年 3 月 26 ～ 28 日 (主催者: ポール・ダン)

1992 – BCTCS 8 – ニューカッスル大学、1992 年 3 月 24 ～ 26 日 (主催者: イアン・スチュワート)

1993 – BCTCS 9 – ヨーク大学、1993 年 3 月 28 日～31 日 (主催者: フセイン ゼダン)

1994 – BCTCS 10 – ブリストル大学、1994 年 3 月 28 ～ 30 日 (主催者: ブライアン ストーンブリッジ)

1995 – BCTCS 11 – ウェールズ大学スウォンジー校、1995 年 4 月 2 日～5 日 (主催者: クリス・トフツ)

1996 – BCTCS 12 – ケント大学カンタベリー校、1996 年 4 月 1 日～4 日 (主催者: サイモン・トンプソン)

1997 – BCTCS 13 – シェフィールド大学、1997 年 3 月 23 ～ 26 日 (主催者: マイク ホルコムとマット フェアトラフ)

1998 – BCTCS 14 – セントアンドリュース大学、1998 年 3 月 31 日～4 月 2 日 (主催者: トム ケルシー)

1999 – BCTCS 15 – キール大学 1999 年 4 月 14 ～ 16 日 (主催者: ジョン・ステル)

2000 – BCTCS 16 – リバプール大学 2000 年 4 月 10 ～ 12 日 (主催者: マーティン エイモス)

2001 – BCTCS 17 – グラスゴー大学、2001 年 4 月 9 日～12 日 (主催者: Stephan Reiff-Marganiec)

2002 – BCTCS 18 – HP Laboratories Bristol、2002 年 4 月 7 ～ 10 日 (主催者: Chris Tofts)

2003 – BCTCS 19 – レスター大学、2003 年 4 月 7 ～ 9 日 (主催者: ニール・ガニ)

2004 – BCTCS 20 – スターリング大学、2004 年 4 月 5 ～ 8 日 (主催者: Stephan Reiff-Marganiec および Carron Shankland)

2005 – BCTCS 21 – ノッティンガム大学、2005 年 3 月 21 日～24 日 (主催者: グラハム ハットン)

2006 – BCTCS 22 – スウォンジー大学、2006 年 4 月 4 日～7 日 (主催者: Faron Moller および Markus Roggenbach)

2007 – BCTCS 23 – オックスフォード大学、2007 年 4 月 2 日～5 日 (主催者: シャロン カーティス、ジェレミー ギボンズ)

2008 – BCTCS 24 – ダラム大学、2008 年 4 月 7 ～ 10 日 (主催者: Hajo Broersma、Tom Friedetzky、Daniel Paulusma)

2009 – BCTCS 25 – ウォリック大学、2009 年 4 月 6 ～ 9 日 (主催者: Artur Czumaj、Sara Kalvala、Steve Matthews)

2010 – BCTCS 26 – エディンバラ大学、2010 年 4 月 6 日～9 日 (主催者: ジュリアン ブラッドフィールド、メアリー クライアン)

2011 – BCTCS 27 – バーミンガム大学、2011 年 4 月 18 ～ 21 日 (主催者: Achim Jung および Paul Levi)

2012 – BCTCS 28 – マンチェスター大学、2012 年 4 月 2 日～5 日 (主催者: Ian Pratt-Hartmann)

2013 – BCTCS 29 – バース大学、2013 年 3 月 24 ～ 27 日 (主催者: James Davenport、Guy McCusker)

2014 – BCTCS 30 – ラフバラー大学、2014 年 4 月 9 日～11 日 (主催者: ポール ベル、ダニエル ライデンバッハ)

2015 – BCTCS 31 – ミドルセックス大学、2015 年 9 月 14 ～ 18 日 (主催者: Barnaby Martin、Guiseppe Primero、Rajagopal Nagarajan)

2016 – BCTCS 32 – クイーンズ大学ベルファスト、2016 年 3 月 22 日～24 日 (主催者: アミターブ・トレハン、プーヤ・ファルシム、ピーター・ロビンソン、アラン・スチュワート)

2017 – BCTCS 33 – セントアンドリュース大学、2017 年 4 月 26 日～28 日 (主催者: Markus Pfeiffer)

2018 – BCTCS 34 – ロンドン大学ロイヤル・ホロウェイ校、2018年3月26日～28日（主催者：マシュー・ヘイグ）

2019 – BCTCS 35 – ダラム大学、2019 年 4 月 15 ～ 17 日 (主催者: Matthew Johnson、Barnaby Martin、George Mertzios、Daniël Paulusma)

2020 – BCTCS 36 – スウォンジー大学、2020年4月6日～8日（主催者：ウルリッヒ・バーガー、ファロン・モラー、マルクス・ロッゲンバッハ、モニカ・ザイゼンバーガー、オルガ・ペトロフスカ、リアム・オライリー）

2021 – BCTCS 37 – リバプール大学、2021年3月29日～31日（主催者：パトリック・トツケ、ミシェル・ジト）

2022 – BCTCS 38 – スウォンジー大学、2022年4月11日～13日（主催者：モニカ・セイゼンバーガー、オルガ・ペトロフスカ）

2023 – BCTCS 39 – グラスゴー大学、2023 年 4 月 3 ～ 4 日 (主催者: Ciaran McCreesh)

2024 – BCTCS 40 – バース大学、2024年4月4日～5日（主催者：ジェームズ・ダベンポート、トーマス・パウエル）

• 英国コンピュータ協会の専門家グループ、Formal Aspects of Computing Science。

• 英国理論計算機科学コロキウムのウェブサイト