Loading article…
欧州理論計算機科学協会（EATCS [ 1 ]）は、1972年に設立された、ヨーロッパに重点を置いた国際組織です。その目的は、理論計算機科学者間のアイデアや成果の交換を促進するとともに、計算機科学における理論コミュニティと実践コミュニティ間の協力を促進することです。
EATCSの主な活動内容は以下のとおりです。
毎年、EATCS賞[ 6 ]は、理論計算機科学における卓越した業績を称えて授与されます。最初の受賞者は2000年にリチャード・カープ氏でした。受賞者一覧は以下のとおりです。
2010年から、欧州理論計算機科学協会（EATCS）は、毎年ICALP会議において、理論計算機科学における優れた貢献をした若手科学者（例外的に複数の若手科学者）にプレスブルガー賞を授与しています。この賞は、1929年に学生時代に加算理論の決定可能性に関する画期的な研究（今日ではプレスブルガー算術と呼ばれている）を成し遂げたモイゼシュ・プレスブルガーにちなんで名付けられました。受賞者の完全なリスト[ 7 ]は以下のとおりです。
EATCS フェロープログラム[ 8 ]は、理論計算機科学の分野における優れた科学的業績を上げたEATCS会員を表彰するために、協会によって設立されました。フェローの称号は、EATCSコミュニティ内で知的および組織的なリーダーシップの実績を持つ人物に、EATCSフェロー選考委員会によって授与されます。フェローはTCSコミュニティの「模範的な市民」として、コミュニティの枠を超えてTCSの地位向上に貢献することが期待されています。
EATCS Bulletinは、EATCSのニュースレターであり、年3回、2月、6月、10月にオンラインで発行されます。このBulletinは、以下のような資料を迅速に公開し、広く配布するための媒体です。
2021年以来、編集長はシュテファン・シュミット（ベルリン工科大学）が務めている。
2014年より、欧州理論計算機科学協会（EATCS）は、理論計算機科学（TCS）に関する若手研究者向けスクールを複数設立しました。以下に、これらのスクールの簡単な歴史をご紹介します。