フォーマルアプローチ小特集論文募集                 電子情報通信学会論文誌 英文ED分冊                 フォーマルアプローチ小特集 編集委員会 フォーマルアプローチ(形式手法・形式技法・形式理論)は,情報システムや 組込みシステムの設計開発における信頼性向上の鍵となる重要な基盤です.こ れまで,設計対象のモデル化,要求分析と仕様記述,コード自動生成,テスト と検証,保守と再利用などに関する技術と理論的知見を生み出してきました. 近年の情報技術の進展に伴う対象領域の拡大に伴い,フォーマルアプローチは 従来にも増して多様な分野で用いられるようになり,ますます発展しています. 本小特集は,情報システムや組込みシステムの設計・運用におけるフォーマル アプローチについて,基礎理論から応用まで,幅広い研究を対象にしています. 個別の対象領域に特化したケーススタディから,分野横断的な手法や理論まで, 様々な方面から,フォーマルアプローチ研究に携わる若手研究者を奨励すると ともに,この分野の研究が更に発展することを目指しております. 奮って御投稿下さいますよう御案内申し上げます. 1. 対象分野 主な対象は以下のとおりですが,これに限らず,「情報システムや組込みシス テムおよびそれをとりまく環境を定式化した上で,そのシステムの振舞いの解 析や性質の導出を厳密に行い,設計・運用に関わる種々の問題の解決を図る」 ことを目指した論文を広く募集します. - 基礎理論:システムの構造や振舞いの形式記述・検証に関する基礎理論 - 形式技法:ソフトウェアやハードウェアを形式的に記述・検証するための技法 - 形式ツール:モデル検査器や定理証明器など,形式手法に基づくツール - 応用:情報システムや組込システムへの形式手法の適用事例 2. 論文の執筆と取扱い 論文(一般論文),レター,及びサーベイ論文を募集します.投稿規定等は電 子情報通信学会の英文誌の規定と同じです.以下の規定を御参照ください. "The Information for Authors" (IEICE Transactions on Information and Systems) http://www.ieice.org/eng/shiori/mokuji_iss.html 3. 主なスケジュール  論文投稿締切    平成 25年 7月17日(水)23:59 JST  第一回判定通知予定 平成 25年 9月12日(木)  初回修正締切    平成 25年11月12日(火)  最終判定通知予定  平成 25年12月20日(金)  発行予定      平成 26年 5月号 4. 投稿方法 本小特集では,電子投稿のみを受付けます. ステップ1. 論文を下記のweb pageから投稿してください.初期投稿時に,編集 可能な論文本体(TeX/Word),図,著者の写真, biographyも投稿する必要があ ります. https://review.ieice.org/regist_e.aspx 投稿の際には以下の項目を選択してください. "Journal/Section" -> "[Special FO] Formal Approach" データ登録時点で論文原稿のアップロードができない場合,「郵送による投稿」 を選択して登録を一旦完了させてください.論文原稿のアップロードは,登録 後に送付される電子メールに記載のURLにアクセスして行ってください. ステップ2. 仮登録後に作成される"Copyright Transfer and Page Charge Agreement"と"Confirmation Sheet of Manuscript Registration"に記入,署名 し,論文投稿締切日までに下記問合せ先まで電子メールまたは郵便にてお送り 下さい(電子メールが望ましいです). 郵送の場合,封筒に『フォーマルアプローチ小特集』と記載してください. 5. 小特集 編集委員会 委員長:磯部祥尚(産総研)  幹事:岡野浩三(阪大),河辺義信(愛知工大),土屋達弘(阪大)  委員:青木利晃(北陸先端大),石川冬樹(情報研),來間啓伸(日立),     小林孝一(北陸先端大),寺内多智弘(名大),     中村正樹(富山県立大),蓮尾一郎(東大) 6. 問合せ先 本小特集のホームページ: (和文) http://staff.aist.go.jp/y-isobe/FA/index-j.html (英文) http://staff.aist.go.jp/y-isobe/FA/  磯部祥尚  fa-submit-ml(at)aist.go.jp  〒305-8568 茨城県つくば市梅園1-1-1 中央第2  産業技術総合研究所セキュアシステム研究部門  FAX: 029-861-5285 7. 注意事項 - 論文が採録となった場合,掲載料(論文別刷代金を含む)をお支払い頂くこ とになります. - 投稿に際し,著者のうち少なくとも1名は,本会会員でなければなりません. 投稿資格を満たさない著者からのご投稿は受け付けません.入会の案内は http://www.ieice.org/jpn/nyukai/index.html をご覧下さい.