Loading article…
| オートマトン、言語、プログラミングに関する国際コロキウム | |
|---|---|
| 略語 | ICALP |
| 規律 | 理論計算機科学 |
| 出版の詳細 | |
| 出版社 | リピックス |
| 歴史 | 1972年～ |
| 頻度 | 毎年（1976年以降） |
| はい | |
ICALP（オートマトン、言語、プログラミングに関する国際会議）は、ヨーロッパ理論計算機科学協会が毎年主催し、ヨーロッパ各地で開催される学術会議です。ほとんどの理論計算機科学会議と同様に、その論文は厳重な査読を受けています。論文はSpringer社が発行するLecture Notes in Computer Scienceに掲載されていましたが、2016年からはLeibniz International Proceedings in Informaticsに掲載されています。[1]
ICALP会議シリーズは、 1972年にフランスのパリで第1回ICALPを主催したモーリス・ニヴァ[2]によって設立されました。第2回ICALPは1974年に開催され、1976年以降ICALPは毎年開催されており、現在では通常7月に開催されています。
1999 年以来、この会議はテーマ別に「アルゴリズム、複雑性、ゲーム」(トラック A) と「オートマトン、ロジック、セマンティクス、プログラミング理論」(トラック B) の 2 つのトラックに分かれており、これは (少なくとも 2005 年までは) Theoretical Computer Science誌の 2 つのメイン ストリームに対応しています。2005 年の会議から、特定のトピックをより深く取り上げるために 3 番目のトラック (トラック C) が追加されました。2005 年から 2008 年まで、3 番目のトラックは「セキュリティと暗号化の基礎」専用でしたが、2009 年には「ネットワーク コンピューティングの基礎: モデル、アルゴリズム、情報管理」というトピック専用になっています。 2020年の会議ではトラックCが削除され、これらの分野からの投稿はトラックAへの投稿が求められました。COVID-19パンデミックのため、2020年の会議は異例のこととなり、初めてバーチャルで開催されました（当初は中国の北京で開催される予定でしたが、後にドイツのザールブリュッケンに変更されました）。[3] ICALP 2021もバーチャルで開催されました。
ゲーデル賞
ゲーデル賞は、理論計算機科学における優れた論文に贈られる賞で、 EATCSとACM SIGACTが共同で授与しており、2 年ごとに ICALP で授与されます。毎年授与されるこの賞の授与式は、STOC ( ACM Symposium on Theory of Computing )会議と交互に開催されます。
参照
- コンピュータ サイエンス カンファレンスのリストには、コンピュータサイエンスの他の学術カンファレンスも含まれています。
- 会議のテーマは理論計算機科学の分野に及びます。
参考文献
- ^ SoCG 運営委員会の議長 Jeff Erickson による 2014 年 11 月 18 日の投稿。EATCS 会長 Luca Aceto による ICALP に関する電子メール発表からの引用も含まれています。
- ^ ローゼンベルク、グジェゴシュツ;サロマー、アルト (2002)。 「ICALP、EATCS、モーリス・ニヴァ」。理論的なコンピューターサイエンス。281 (1-2): 25-30。土井：10.1016/S0304-3975(02)00005-1。
- ^ Czumaj, Artur; Dawar, Anuj; Merelli, Emanuela (2020). 「前書き、目次、序文、会議の構成」。第47回オートマトン、言語、プログラミングに関する国際コロキウム (ICALP 2020)。ライプニッツ国際情報学会議論文集。第168巻。doi : 10.4230/LIPIcs.ICALP.2020.0。
- EATCS Web サイト上の国際オートマトン、言語、プログラミング会議 (ICALP) 。
- 「EATCSリーフレット」（PDF）、EATCS紀要、97：212-214、2009年。
- ジョルジオ・アウシエッロ（2008）「会長からの手紙」（PDF）、EATCS誌、94：3-5。
- Kudlek, Manfred (2008)、「ICALP 2008 報告書」(PDF)、EATCS 紀要、96 : 131–140。
外部リンク
- DBLPからのICALP議事録情報
- ICALP 2021、スコットランドのグラスゴーでオンライン開催
- ICALP 2020 2020-02-17にWayback Machineにアーカイブ、オンライン、ザールブリュッケン（ドイツ）で開催
- ICALP 2019、パトラス、ギリシャ
- ICALP 2018、プラハ、チェコ共和国
- ICALP 2017、ワルシャワ、ポーランド
- ICALP 2016、ローマ、イタリア
- ICALP 2015、京都、日本
- ICALP 2014、コペンハーゲン、デンマーク
- ICALP 2013、リガ、ラトビア
- ICALP 2010、ボルドー、フランス
- ICALP 2009 2016-03-04 にWayback Machineでアーカイブ、ロードス島、ギリシャ
- ICALP 2008 2011-02-17 にWayback Machineでアーカイブ、レイキャビク、アイスランド
- ICALP 2007、ポーランド、ヴロツワフ
- ICALP 2006 2006-06-09 にWayback Machineにアーカイブされました、ヴェネツィア、イタリア
- ICALP 2005、ポルトガル、リスボン
- ICALP 2004、フィンランド、トゥルク
- ICALP 2003、オランダ、アイントホーフェン
- ICALP 2002、マラガ、スペイン
- ICALP 2001、ギリシャ、クレタ島、イラクリオン
- ICALP 2000、ジュネーブ、スイス
- ICALP 1999、チェコ共和国プラハ
- ICALP 1998、オールボー、デンマーク
- ICALP 1997、イタリア、ボローニャ