欧州理論計算機科学協会

欧州理論計算機科学協会（EATCS ^[1]）は、1972年に設立された、ヨーロッパを中心とした国際組織です。その目的は、理論計算機科学者の間でアイデアや結果の交換を促進し、計算機科学における理論コミュニティと実践コミュニティの協力を促進することです。

EATCS の主な活動は次のとおりです。

• ICALP（オートマトン、言語、プログラミングに関する国際会議）の組織; ^[2]
• EATCSの会報の発行。
• 理論計算機科学に関する一連のモノグラフ^{[3] [4]}およびテキスト^[5]の出版。
• 理論計算機科学誌の出版; ^[2]
• ジャーナル「Fundamenta Informaticae」の発行。

毎年、EATCS賞^{[6]は理論計算機科学における優れた業績を称えて授与されます。最初の受賞者は2000年に}リチャード・カープ氏でした。受賞者の全リストは以下の通りです。

2010 年から、ヨーロッパ理論計算機科学協会 (EATCS) は毎年 ICALP 会議で、発表された論文または一連の論文によって理論計算機科学に顕著な貢献をした若手科学者 (例外的に複数の若手科学者) にプレスブルガー賞を授与しています。この賞は、1929 年に学生時代に加法理論 (今日プレスブルガー算術と呼ばれています) の決定可能性に関する画期的な研究を成し遂げたモイゼス・プレスブルガーにちなんで名付けられました。受賞者の完全なリスト^[7]を以下に示します。

EATCS フェロープログラム^[8]は、理論計算機科学の分野で優れた科学的業績を挙げたEATCS会員を表彰するために協会によって設立されました。フェローの地位は、EATCSコミュニティ内で知的および組織的リーダーシップの実績を持つ人物に、EATCSフェロー選考委員会によって授与されます。フェローはTCSコミュニティの「模範的な市民」となり、コミュニティの境界を越えてTCSの地位向上に貢献することが期待されています。

EATCS Bulletin は EATCS のニュースレターで、毎年 2 月、6 月、10 月の 3 回オンラインで発行されます。Bulletin は、次のような資料を迅速に発行し、広く配布するための媒体です。

• EATCS は重要です。
• 現在のICALPに関する情報。
• 技術的貢献;
• 列;
• 調査とチュートリアル。
• 会議に関する報告
• イベントカレンダー;
• コンピュータサイエンスの学部および研究所に関するレポート。
• 技術レポートおよび出版物のリスト。
• 書評;
• 未解決の問題と解決策
• 博士論文の要約;
• さまざまな機関への訪問者に関する情報
• コンピュータサイエンスに関連する面白い投稿と写真。

2021年からはシュテファン・シュミット（ベルリン工科大学）が編集長を務めています。

2014 年から、欧州理論計算機科学協会 (EATCS) は TCS トピックに関する一連の若手研究者スクールを設立しました。スクールの簡単な歴史は次のとおりです。

• コンピュータサイエンスの賞一覧

• 欧州理論計算機科学協会のウェブサイト