ACM シグログ

ACM SIGLOGまたはSIGLOG は、 Association for Computing Machinery の論理と計算に関する 特別興味グループです。ニュース マガジン ( SIGLOG News ) を発行し、毎年開催されるACM–IEEE Symposium on Logic in Computer Science (LICS) を旗艦会議として開催しています。^[1]さらに、オンライン ニュースレターSIGLOG Monthly Bulletin (旧LICS Newsletter ) を発行し、^{[2]関連する学術誌}ACM Transactions on Computational Logicと「密接な関係を維持」しています。^[3]

この特別利益団体の設立は2007年にモシェ・ヴァルディとダナ・スコットによって提案され、ヴァルディはその設立に関するより詳細な提案の主執筆者であった。この団体は2014年に設立され、プラカシュ・パナンガデンが創設議長、アンジェイ・ムラウスキーがニュースレターの初代編集者となった。^{[1] [4]}

2015年、SIGLOGはEATCS、EACSL、クルト・ゲーデル協会と協力して、論理と計算への顕著な貢献に対してアロンゾ・チャーチ賞を設立しました。^[5]過去の受賞者のリストはEACSLによって管理されています。^{[6] [7]}

• 2016年ラジーヴ・アルールとデイヴィッド・ディル「斬新で洗練された奥深い理論と広範囲にわたる実用的影響を組み合わせたリアルタイムシステムの決定可能なモデルであるタイムドオートマトンを発明した。」
• 2017年Samson Abramsky、Radha Jagadeesan、Pasquale Malacaria、Martin Hyland、Luke Ong、Hanno Nickau 「ゲームモデルの導入を通じて高階計算のための完全に抽象的なセマンティクスを提供し、それによってプログラミング言語セマンティクスの分野に根本的な革命をもたらし、これらのモデルの応用に影響を与えた。」
• 2018年 Tomás Feder とMoshe Y. Vardi、「制約充足問題の計算複雑性に対する根本的な貢献」
• 2019年、Murdoch J. GabbayとAndrew M. Pittsは「原子名を含むデータの計算のための強力で洗練された数学モデルである名詞表現の理論を導入した画期的な研究」に対して受賞しました。
• 2020 Ronald Fagin、Phokion G. Kolaitis、Renée J. Miller、Lucian Popa、Wang-Chiew Tan、「データ交換の論理的基盤を築く画期的な研究」に対して。
• 2021年Georg Gottlob、Christoph Koch、Reinhard Pichler、Klaus U. Schulz、Luc Segoufin、「ロジックベースのWebデータ抽出とツリー構造データのクエリに関する基礎研究」
• 2022年、デクスター・コーゼンは「反復プログラムについての推論のための方程式システムであるクリーネ代数とテストの理論と応用の開発に関する基礎研究」に対して受賞しました。