コンピュータサイエンスにおける論理に関するシンポジウム

ACM -IEEE コンピュータサイエンスの論理に関するシンポジウム( LICS ) は、数理論理学に関連するコンピュータサイエンスの理論と実践に関する年次学術会議です。毎年の会議で選ばれた論文の拡張版は、Logical Methods in Computer ScienceやACM Transactions on Computational Logicなどの有名な国際誌に掲載されます。

LICSはもともとIEEEが単独で主催していましたが、2014年にACM Special Interest Group on Logic and Computationが設立されてからは、ACMとIEEEの共同主催によるSIGLOGのフラッグシップカンファレンスとなりました。^[1]

1988年の第3回 ^[2]から 2013年まで、会議録の表紙には、アルヴィ・レイ・スミス^[3]による「論理量指定子による非合理的なタイリング」と題された作品が掲載されていた。

1995年以来、毎年、クリーネ賞が最優秀学生論文に授与されています。さらに、2006年以来、LICS Test-of-Time Awardは、 20年間発表されたLICS論文の中から時の試練に最もよく耐えた論文に毎年授与されています。^[4]

2006 年以来、毎年、LICS Test-of-Time 賞は、LICS の 20 年前の議事録から影響力のあった記事を表彰しています。

• Leo Bachmair、Nachum Dershowitz、Jieh Hsiang、「等式証明の順序付け」
• E. Allen Emerson、Chin-Laung Lei、「命題的 Mu-Calculus の断片における効率的なモデル検査 (拡張要約)」
• Moshe Y. Vardi、Pierre Wolper、「自動プログラム検証へのオートマトン理論的アプローチ（予備報告）」

• サムソン・アブラムスキー、「論理形式におけるドメイン理論」
• ロバート・ハーパー、フリオ・ホンセル、ゴードン・D・プロトキン、「論理を定義するためのフレームワーク」

• Martin Abadi、Leslie Lamport、「リファインメント マッピングの存在」

• Eugenio Moggi、「計算的ラムダ計算とモナド」

• Rajeev Alur、Costas Courcoubetis、David L. Dill、「リアルタイム システムのモデル検査」
• Jerry R. Burch、Edmund Clarke、Kenneth L. McMillan、David L. Dill、James Hwang、「シンボリック モデル検査: 10^20 状態以上」
• Max Dauchet、Sophie Tison、「基底書き換えシステムの理論は決定可能である」
• Peter Freyd、「再帰型を帰納型に縮小」

• Patrice Godefroid、Pierre Wolper、「モデル検査への部分的アプローチ」
• Joshua Hodas、Dale Miller、「直観主義線形論理の断片における論理プログラミング」
• デクスター・コーゼン、「クリーネ代数と正則事象代数の完全性定理」

• Thomas Henzinger、Xavier Nicollin、Joseph Sifakis、Sergio Yovine、「リアルタイム システムのための記号モデル検査」
• ジャン＝ピエール・タルパン、ピエール・ジュヴロ、「タイプと効果の規律」

• Leo Bachmair、Harald Ganzinger、Uwe Waldmann、「集合制約はモナドクラスである」
• アンドレ・ジョヤル、モーゲンス・ニールソン、グリン・ウィンスケル、「バイシミュレーションとオープンマップ」
• Benjamin C. Pierce、Davide Sangiorgi、「モバイル プロセスの型付けとサブタイピング」

• Martin Hofmann  [de]、Thomas Streicher、「群モデルは同一性証明の一意性を否定する」
• デール・ミラー、「多重結論メタロジック」

• Igor Walukiewicz、「Kozen の命題的 μ 計算の公理化の完全性」

• Parosh A. Abdulla、Karlis Cerans、Bengt Jonsson、Yih-Kuen Tsay、「無限状態システムの一般決定可能性定理」
• イリアーノ・セルベサート、フランク・フェニング、「線形論理フレームワーク」

• Richard Blute、Josée Desharnais、Abbas Edalat、Prakash Panangaden、「ラベル付きマルコフ過程のバイシミュレーション」
• Daniele Turi、Gordon D. Plotkin、「数学的操作的意味論に向けて」

• Martín Abadi、Cédric Fournet、Georges Gonthier、「チャネル抽象化の安全な実装」
• Samson Abramsky、Kohei Honda、Guy McCusker、「一般参照のための完全に抽象的なゲームセマンティクス」

• Marcelo P. Fiore、Gordon D. Plotkin、Daniele Turi、「抽象構文と変数バインディング」
• Murdoch Gabbay、Andrew M. Pitts、「バインダーを含む抽象構文への新しいアプローチ」

• Luca de Alfaro、Thomas A. Henzinger、「並行オメ​​ガ-レギュラーゲーム」
• 中野 裕「再帰のモダリティ」

• Aaron Stump、Clark W. Barrett、David L. Dill、Jeremy R. Levitt、「配列の拡張理論のための決定手順」
• Hongwei Xi、「プログラム終了検証のための依存型」

各会議では、SC Kleeneに敬意を表して、最優秀学生論文に Kleene 賞が授与されます。

• コンピュータ サイエンス カンファレンスのリストには、コンピュータサイエンスの他の学術カンファレンスも含まれています。

• LICSホームページ