Loading article…
ICALP（International Colloquium on Automata, Languages, and Programming）は、欧州理論計算機科学協会が毎年主催し、ヨーロッパ各地で開催される学術会議です。ほとんどの理論計算機科学会議と同様に、その論文は厳格な査読を受けています。論文はこれまでSpringer社が発行するLecture Notes in Computer Scienceに掲載されていましたが、2016年からはLeibniz International Proceedings in Informaticsに掲載されるようになりました。[ 1 ]
ICALP会議シリーズは、モーリス・ニヴァット[ 2 ]によって設立され、彼は1972年にフランスのパリで最初のICALPを組織しました。2回目のICALPは1974年に開催され、1976年以降、ICALPは毎年開催されるイベントとなり、現在では通常7月に開催されています。
1999年以来、この会議は「アルゴリズム、複雑性、ゲーム」（トラックA）と「オートマタ、論理、意味論、プログラミング理論」（トラックB）の2つのテーマに分かれており、これは（少なくとも2005年までは）学術誌『Theoretical Computer Science』の2つの主要な流れに対応していた。2005年の会議からは、特定のトピックをより深く掘り下げるために、3つ目のトラック（トラックC）が追加された。2005年から2008年までは、3つ目のトラックは「セキュリティと暗号の基礎」に特化しており、2009年には「ネットワークコンピューティングの基礎：モデル、アルゴリズム、情報管理」というテーマに特化している。トラック C は 2020 年の会議から削除され、これらの分野からの投稿はトラック A に投稿するように招待されました。COVID-19 パンデミックのため、2020 年の会議は初めてバーチャルで開催されるという異例のものでした (当初は中国の北京で開催される予定でしたが、後にドイツのザールブリュッケンに変更されました)。[ 3 ] ICALP 2021 もバーチャルで開催されました。
理論計算機科学における優れた論文に贈られるゲーデル賞は、 EATCSとACM SIGACTが共同で授与するもので、ICALPにおいて隔年で授与されます。毎年授与されるこの賞の授賞式は、STOC（ACM理論計算機科学シンポジウム）と交互に開催されます。