欧州理論計算機科学協会

EATCSロゴ

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

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

EATCS賞

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

年受賞場所
2023アモス・フィアットICALP (パーダーボルン)
2022パトリック・クーソICALP（パリ）
2021トニアン・ピタッシICALP（グラスゴー）
2020ミハリス・ヤナカキスICALP (ザールブリュッケン)
2019トーマス・ヘンジンガーICALP (パトラス)
2018ノアム・ニサンICALP（プラハ）
2017エヴァ・タルドスICALP（ワルシャワ）
2016デクスター・コーゼンICALP（ローマ）
2015クリストス・パパディミトリウICALP（京都）
2014ゴードン・プロトキンICALP（コペンハーゲン）
2013マーティン・ダイアーICALP（リガ）
2012モシェ・ヴァルディICALP（ウォーリック）
2011ボリス・トラクテンブロットICALP (チューリッヒ)
2010クルト・メルホルンICALP（ボルドー）
2009ジェラール・ユエICALP（ロードス）
2008レスリー・G・ヴァリアントICALP（レイキャビク）
2007ダナ・S・スコットICALP (ヴロツワフ)
2006マイク・パターソンICALP（ヴェネツィア）
2005ロビン・ミルナーICALP（リスボン）
2004アルト・サロマICALP（トゥルク）
2003グジェゴシュ・ローゼンベルグICALP（アイントホーフェン）
2002モーリス・ニヴァットICALP (マラガ)
2001コラッド・ベームICALP（クレタ島）
2000リチャード・カープICALP（ジュネーブ）

プレスバーガー賞

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

年受賞場所
2021シャヤン・オヴェイス・ガランICALP（グラスゴー）
2020ドミトリー・ジュクICALP（ザールブリュッケン/オンライン）
2019カール・ブリングマン、カスパー・グリーン・ラーセンICALP (パトラス)
2018アレクサンデル・マンドリICALP（プラハ）
2017アレクサンドラ・シルバICALP（ワルシャワ）
2016マーク・ブレイバーマンICALP（ローマ）
2015シー・チェンICALP（京都）
2014デビッド・ウッドラフICALP（コペンハーゲン）
2013エリック・デメインICALP（リガ）
2012ヴェンカテサン・グルスワミ、ミハイ・パトラスクICALP（ウォーリック）
2011パトリシア・ブイヤー・デシトレICALP (チューリッヒ)
2010ミコワイ・ボヤンチクICALP（ボルドー）

EATCSフェロー

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

受賞認定年
ルカ・アセト2021
ジリ・アダメク2018
スザンヌ・アルバース2014
ラジーブ・アルル2021
ジョルジョ・アウシエッロ2014
ウィルフリート・ブラウアー2014
アルトゥール・チュマイ2015
ピエールパオロ・デガノ2020
マリアンジョーラ・デザーニ＝チャンカリニ2015
ジョセップ・ディアス2017
ハーバート・エデルスブルンナー2014
ゾルタン・エシク2016
マイク・フェローズ2014
フョードル・フォミン2019
ユーリ・グレヴィッチ2014
モハマド・ハジアガイ2020
マグヌス・M・ハルドルソン2020
デビッド・ハレル2016
モニカ・ヘンジンガー2014
トーマス・A・ヘンジンガー2015
ジュゼッペ・F・イタリアーノ2016
サミール・クラー2021
デクスター・コーゼン2015
マルタ・クヴィアトコフスカ2017
ステファノ・レオナルディ2018
クルト・メルホルン2016
ロッコ・デ・ニコラ2019
デビッド・ペレグ2021
ジャン＝エリック・パン2014
ダナ・ロン2019
ダヴィデ・サンジョルジ2021
サケット・サウラブ2021
スコット・A・スモルカ2016
ポール・スピラキス2014
アラヴィンド・スリニヴァサン2017
ヴォルフガング・トーマス2014
モシェ・Y・ヴァルディ2015
モティ・ユン2017

理論計算機科学のテキスト

EATCSニュースレター

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

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

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

EATCS若手研究者スクール

2014年より、欧州理論計算機科学協会（EATCS）は、計算機科学関連のテーマを扱った一連の若手研究者スクールを設立しました。スクールの簡単な歴史は以下の通りです。

年タイプ場所
2017ProbProgSchool 2017 – プログラミングとソフトウェアシステムの基礎を学ぶ第1回スクール。確率的プログラミングブラガ、ポルトガル
2015第2回EATCS若手研究者スクール – データのトポロジーを通して複雑性と同時性を理解するカメリーノ、イタリア
2014第1回EATCS若手研究者スクール – オートマタ、ロジック、ゲームテルチ、チェコ共和国

参照

参考文献

  1. ^ EATCS は何の略ですか? European Association of Theoretical Computer Science、頭字語ファインダー。
  2. ^ ab Brauer, Ute; Brauer, Wilfried : ヨーロッパ理論計算機科学協会 / 協会について / EATCS創立25周年
  3. ^ 理論計算機科学のモノグラフ。EATCSシリーズ、Springer-Verlag。
  4. ^ 理論計算機科学のモノグラフ。EATCSシリーズ、DBLP。
  5. ^ Texts in Theoretical Computer Science. An EATCS Series, Springer-Verlag.
  6. ^ EATCS 賞、欧州理論計算機科学協会。
  7. ^ 「Presburger Award」. 欧州理論計算機科学協会. 2020年7月23日閲覧。
  8. ^ EATCS フェロー 欧州理論計算機科学協会。
  • 欧州理論計算機科学協会のウェブサイト
Retrieved from "https://en.wikipedia.org/w/index.php?title=European_Association_for_Theoretical_Computer_Science&oldid=1318433767#EATCS_Award"