アロンゾ・チャーチ賞 2015年、SIGLOGはEATCS 、EACSL 、クルト・ゲーデル協会 と協力して、論理と計算への優れた貢献に対するアロンゾ・チャーチ賞を 設立しました。[ 5 ] [ 6 ] [ 7 ]
2016年、ラジーブ・アルル とデビッド・ディルは 、「リアルタイムシステムの決定可能なモデルである時間オートマトンを発明した功績により、斬新で洗練された奥深い理論と広範な実用的影響を兼ね備えた」として表彰された。 2017年、サムソン・アブラムスキー 、ラダ・ジャガディーサン、パスクアーレ・マラカリア、マーティン・ハイランド 、ルーク・オン、ハノ・ニッカウは、「ゲームモデルの導入を通じて高階計算のための完全な抽象的意味論を提供し、それによってプログラミング言語の意味論の分野を根本的に変革したこと、およびこれらのモデルの応用上の影響に対して」表彰された。 2018年、トマス・フェダーとモシェ・Y・ヴァルディは 「制約充足問題の計算複雑性に関する基礎的な貢献」に対して表彰された。 2019年、マードック・J・ギャベイとアンドリュー・M・ピッツは、「原子名を含むデータを用いた計算のための強力かつ洗練された数学モデルである名義表現理論を導入した画期的な業績」に対して表彰された。 2020年、ロナルド・ファギン 、フォキオン・G・コライティス 、レネー・J・ミラー 、ルシアン・ポパ、ワン・チウ・タンは 、「データ交換の論理的基盤を築くための画期的な業績」に対して表彰された。 2021年、ゲオルク・ゴットロープ 、クリストフ・コッホ、ラインハルト・ピヒラー、クラウス・U・シュルツ、リュック・セグフィンは、「論理ベースのウェブデータ抽出とツリー構造データのクエリに関する基礎的な研究」に対して表彰されました。 2022年、デクスター・コーゼン氏 に「反復プログラムに関する推論のための等式システムである、テスト付きクリーネ代数の理論と応用の開発に関する基礎的な業績」が授与されました。 2023 Lars Birkedal、Aleš Bizjak、Derek Dreyer、Jacques-Henri Jourdan、Ralf Jung、Robbert Krebbers、Filip Sieczkowski、Kasper Svendsen、David Swasey、Aaron Turon 「高次同時分離ロジック フレームワークであるIris の設計と実装に対して」。 2024年、トーマス・エアハルトとローラン・レニエは、「微分に関する論理的かつ計算論的な説明を与え、テイラー展開をカリー・ハワード対応に導入し、プログラミング言語の意味論に大きな影響を与えた」功績により表彰された。 2025年、ポール・ブレイン・レヴィ氏に「呼び出し値 計算による有効λ計算の基礎的研究」に対して授与。2026年 パブロ・バルセロ、レオニード・リブキン 、ウィム・マーテンス、フアン・ロイター、ミゲル・ロメロ、モシェ・ヴァルディ、ドマゴイ・ヴルゴチ「プロパティグラフを照会するための論理言語の基礎を築き、それが10年以内に SQL およびGQLの 国際標準に採用された」功績に対して。
参考文献 1 2 Panangaden, Prakash (2014年7月)、「SIGLOGへようこそ！」 、議長からの手紙、SIGLOGニュース 、1 (1): 2–3 ↑ 「SIGLOG月報」 、 SIGLOG月報 、 168 、2015年3月1日 ↑ 公式ウェブサイト ↑ Siekmann, Jörg M. (2014), "計算論理", Gabbay, Dov M. ; Siekmann, Jörg M.; Woods, John (編), Handbook of the History of Logic, vol. 9: Computational Logic , North-Holland/Elsevier, pp . 15–30 を参照。↑ 「 NOTICES」 。The Bulletin of Symbolic Logic。23 ( 4 ) : 540–545 。 2017年。doi : 10.1017 / bsl.2017.40。ISSN 1079-8986。JSTOR 26409199 。 ↑ 「アロンゾ・チャーチ賞」 。 欧州理論計算機科学協会 。 2022年4月23日 取得。 ↑ 「過去の受賞歴 – EACSL」 。 2021年11月13日 取得 。
