| オートマトン実装と応用に関する会議 | |
|---|---|
| 略語 | CIAA（旧WIA） |
| 規律 | オートマトン理論と形式言語 |
| 出版の詳細 | |
| 出版社 | シュプリンガー LNCS |
| 歴史 | 1996年～ |
| 頻度 | 年次（1996年以降） |
CIAA（オートマタの実装と応用に関する国際会議）は、コンピュータサイエンス分野における年次学術会議です。その目的は、オートマタおよび関連構造の理論、実装、応用に関心を持つ学術界、研究界、産業界のメンバーを集めることです。この会議では、オートマタおよび関連構造の実装と応用のあらゆる側面、特に理論的側面に関する研究が取り上げられます。2000年には、オートマタの実装に関するワークショップ（WIA）から発展しました。
他の多くの理論計算機科学会議と同様に、この会議の論文は厳格な査読を受けており、論文はSpringer Lecture Notes in Computer Science誌に掲載される議事録に掲載されます。毎年の会議で選ばれた論文の拡張版は、Theoretical Computer Science誌とInternational Journal of Foundations of Computer Science誌に交互に掲載されます。毎年、最優秀論文賞が授与されます。
トピック
会議の焦点は応用理論にあるため、幅広い応用分野からの発表が通常行われます。会議の典型的なトピックには、オートマトンに関連する以下のものが含まれます。
- 生物に着想を得たコンピューティング
- オートマトン操作の複雑さ、状態の複雑さ
- コンパイラ
- コンピュータ支援検証、モデル検査
- 同時実行性
- データと画像の圧縮
- オートマタソフトウェアの設計とアーキテクチャ
- ドキュメントエンジニアリング
- 自然言語処理
- パターンマッチング
- オートマトン理論の教育
- テキスト処理
- オートマトンをグラフィカルに表示する技術
歴史
CIAAカンファレンスシリーズは、ダレル・レイモンドとデリック・ウッドによって設立されました。2013年以降、運営委員会の委員長はカイ・サロマが務めています。
| イベント | 位置 | PCチェア | 議事録 | 特集号 |
|---|---|---|---|---|
| 第1回WIA 1996 | ロンドン、オンタリオ州、カナダ | ダレル・R・レイモンド デリック・ウッド シェン・ユー |
LNCS 1260 | |
| 第2回WIA 1997 | ロンドン、オンタリオ州、カナダ | デリック・ウッド・ シェン・ユー |
LNCS 1436 | 理論計算機科学231(1), 2000 |
| 第3回WIA 1998 | ルーアン、フランス | ジャン＝マルク・シャンパルノー・ ドゥニ・モーレル・ ジェルール・ジアディ |
LNCS 1660 | 理論計算機科学267(1-2), 2001 |
| 第4回WIA 1999 | ポツダム、ドイツ | オリバー・ボルト ヘルムート・ユルゲンセン |
LNCS 2214 | |
| 第5回CIAA 2000 | ロンドン、オンタリオ州、カナダ | シェン・ユー ・アンドレイ・パウン |
LNCS 2088 | 国際コンピュータサイエンス基礎ジャーナル13(1)、2002年 |
| 第6回CIAA 2001 | プレトリア、南アフリカ | ブルース・W・ワトソン、デリック・ウッド | LNCS 2494 | 理論計算機科学313(1), 2004 |
| 第7回CIAA 2002 | トゥール、フランス | ジャン＝マルク・シャンパルノー ドゥニ・モーレル |
LNCS 2608 | 国際コンピュータサイエンス基礎ジャーナル14(6)、2003年 |
| 第8回CIAA 2003 | サンタバーバラ、米国 | オスカー・H・イバラ・ ジェ・ダン |
LNCS 2759 | 理論計算機科学328(1-2), 2004 |
| 第9回CIAA 2004 | カナダ、オンタリオ州キングストン | カイ・サロマ・ シェン・ユー |
LNCS 3317 | 国際コンピュータサイエンス基礎ジャーナル16(3)、2005年 |
| 第10回CIAA 2005 | ソフィア・アンティポリス、フランス | ジャック・ファレ イゴール ・リトフスキー |
LNCS 3845 | 理論計算機科学363(2), 2006 |
| 第11回CIAA 2006 | 台北、台湾 | オスカー・H・イバラ・ シュー・チュン・イェン |
LNCS 4094 | 国際コンピュータサイエンス基礎ジャーナル18(4)、2007年 |
| 第12回CIAA 2007 | プラハ、チェコ共和国 | ヤン・ホルブ・ ボジヴォイ・メリチャール |
LNCS 4783 | 理論計算機科学410(37)、2009年 |
| 第13回CIAA 2008 | アメリカ合衆国カリフォルニア州サンフランシスコ | オスカー・H・イバラ・ バラ・ラヴィクマール |
LNCS 5148 | 国際コンピュータサイエンス基礎ジャーナル20(4)、2009年 |
| 第14回CIAA 2009 | シドニー、オーストラリア | セバスチャン・マネス | LNCS 5642 | 理論計算機科学411(38-39)、2010年 |
| 第15回CIAA 2010 | カナダ、マニトバ州ウィニペグ | マイケル・ドマラツキ・ カイ・サロマー |
LNCS 6482 | 国際コンピュータサイエンス基礎ジャーナル22(8)、2011年 |
| 第16回CIAA 2011 | ブロワ、フランス | ベアトリス・ブシュ＝マルコフ ジャン＝マルク・シャンパルノー ドゥニ・モーレル |
LNCS 6807 | 理論計算機科学450, 2012 |
| 第17回CIAA 2012 | ポルトガル、ポルト | ネルマ・モレイラ・ ロジェリオ・レイス |
LNCS 7381 | 国際コンピュータサイエンス基礎ジャーナル24(6)、2013年 |
| 第18回CIAA 2013 | ハリファックス、ノバスコシア州、カナダ | スタブロス・コンスタンティニディス | LNCS 7982 | 理論計算機科学578, 2015 |
| 第19回CIAA 2014 | ギーセン、ドイツ | マルクス・ホルツァー マーティン・クトリブ |
LNCS 8587 | 国際コンピュータサイエンス基礎ジャーナル26(7)、2015年 |
| 第20回CIAA 2015 | ウメオ、スウェーデン | フランク・ドリュース | LNCS 9223 | 理論計算機科学679, 2017 |
| 第21回CIAA 2016 | ソウル、韓国 | ヨ・スブ・ハン・カイ ・サロマ |
LNCS 9705 | 国際コンピュータサイエンス基礎ジャーナル28(5)、2017年 |
| 第22回CIAA 2017 | パリ、フランス | アルノー・カラヨル シリル・ニカウ |
LNCS 10329 | 理論計算機科学787, 2019 |
| 第23回CIAA 2018 | カナダ、プリンスエドワード島、シャーロットタウン | セザール・カンペアヌ | LNCS 10977 | 国際コンピュータサイエンス基礎ジャーナル31(8)、2020年 |
| 第24回CIAA 2019 | コシツェ、スロバキア | ガリーナ・イラスコヴァ | LNCS 11601 | 理論計算機科学』が出版される予定。 |
| 第25回CIAA 2020 | ラフバラ、イギリス（キャンセル） | マンフレッド・クーフライトナー ダニエル・ライデンバッハ |
該当なし | 該当なし |
参照
参考文献
- マイケル・ドマラツキ。オホーチン、アレクサンダー。サロマー、カイ( 2004)、「CIAA 2004 に関する報告書」(PDF)、EATCS の会報、84 : 231–234。
- Truthe, Bianca ( 2024)、「CIAA 2023報告書」(PDF)、EATCS紀要、142 : 81–82。
外部リンク
- CIAAの公式ウェブサイト
- DBLPからのCIAA議事録情報
- cstheory.stackexchange での「会議とワークショップのリスト」の質問
