British Colloquium for Theoretical Computer Science とは

理論コンピュータ科学のための英国コロキウム(BCTCS)は、理論コンピュータ科学の英国に拠点を置く研究者のための年次イベントを主催する組織です。 BCTCSの中心的な側面は博士課程の学生の訓練です。
BCTCSの目的は次のとおりです。
 理論コンピュータサイエンスのあらゆる面で英国に拠点を置く研究者が出会い、研究成果を発表し、現場での最近の動向を議論するための定期的なフォーラムを開催する。理論コンピュータサイエンスの研究を行う博士課程の学生が公式の場で自分の仕事を発表したり、その見通しを広げたり、コミュニティ内の確立された研究者との接触から利益を得ることができる環境を育成する。英国の理論コンピュータサイエンスの利益と将来の幸福が進展するためのプラットフォームを提供することです。
BCTCSの範囲には、アルゴリズム、複雑さ、セマンティクス、形式的メソッド、並行性、タイプ、言語、ロジックなど、理論的コンピュータ科学のすべての側面が含まれます。理論上のコンピュータ科学の本質的な数学的性質と合わせて、BCTCSは常にコンピュータ科学者と数学者を参加者として募集し、2つのコミュニティが会合してアイデアを交換できる環境を提供します。
BCTCSは、主に英国に拠点を置く研究者のためのものです。しかし、BCTCSは広範なコミュニティで英国の理論コンピュータ科学を促進するために、国際レベルでも宣伝されています。英国外からの参加者は年次総会に出席することを歓迎し、招待講演のプログラムには英国外からの著名な研究者が定期的に参加しています。
最初のBCTCS会議は、1985年にリーズ大学のJohn V. Tuckerによって組織されました。
BCTCSは、組織委員会の指揮のもとに運営され、会長は大統領、秘書、財務担当者で構成されます。現在の大統領はファロン・モラーです。