[logic-ml] フォーマルアプローチ特集論文募集

[Ichiro Hasuo]

             フォーマルアプローチ特集論文募集

                           電子情報通信学会論文誌 英文ED分冊
                           フォーマルアプローチ特集 編集委員会

フォーマルアプローチ(形式手法・形式技法・形式理論)は，情報システムの設
計開発における信頼性向上の鍵となる重要な基盤です．これまで，設計対象の
モデル化，要求分析と仕様記述，コード自動生成，テストと検証，保守と再利
用などに関する技術と理論的知見を生み出してきました．近年の情報技術の進
展に伴う対象領域の拡大に伴い，フォーマルアプローチは従来にも増して多様
な分野で用いられるようになり，ますます発展しています．

本特集は，情報システムの設計・運用におけるフォーマルアプローチについて，
基礎理論から応用まで，幅広い研究を対象にしています．個別の対象領域に特
化したケーススタディから，分野横断的な手法や理論まで，様々な方面から，
フォーマルアプローチ研究に携わる若手研究者を奨励するとともに，この分野
の研究が更に発展することを目指しております．

奮って御投稿下さいますよう御案内申し上げます．

1. 対象分野

主な対象は以下のとおりですが，これに限らず，「情報システムおよびそれを
とりまく環境を定式化した上で，そのシステムの振舞いの解析や性質の導出を
厳密に行い，設計・運用に関わる種々の問題の解決を図る」ことを目指した論
文を広く募集します．

- 基礎理論：要求，仕様，検証，静的・動的解析等のフォーマルアプローチに
関する理論．

- 方法論：軽量フォーマルメソッド，モデルベース設計，詳細化等のフォーマ
ルアプローチに関する方法論．

- 言語：仕様記述言語，モデリング言語，モデルベースプログラミング言語，
ハードウェア記述・検証言語．

- ツール：モデル検査器，定理証明器，静的・動的解析器．

- 応用：組込システム，ハイブリッドシステム，社会システム(内部統制等)等
の形式解析，コンコリックテスト等のテスト技法，形式仕様からのコード生成．

2. 論文の執筆と取扱い

- 論文(一般論文)，レター，及びサーベイ論文を募集します．投稿規定等は電
 子情報通信学会の英文誌の規定と同じです．以下の規定を御参照ください．

   "The Information for Authors"
         (IEICE Transactions on Information and Systems)
   http://www.ieice.org/eng/shiori/mokuji_iss.html

3. 主なスケジュール

 論文投稿締切        平成 24年 7月18日(水) 23:59 JST
 第一回判定通知予定  平成 24年 9月14日(金)
 初回修正締切        平成 24年11月13日(火)
 最終判定通知予定    平成 24年12月22日(土)
 発行予定            平成 25年 6月号

4. 投稿方法

本特集では，電子投稿のみを受付けます．

ステップ1. 論文を下記のweb pageから投稿してください．初期投稿時に，編集
可能な論文本体(TeX/Word)，図，著者の写真, biographyも投稿する必要があり
ます．

 https://review.ieice.org/regist_e.aspx

投稿の際には以下の項目を選択してください．

 ``Type of Section (Issue)/Transactions''
 -> ``[Special ED] Formal Approach''

データ登録時点で論文原稿のアップロードができない場合，「郵送による投稿」
を選択して登録を一旦完了させてください．論文原稿のアップロードは，登録
後に送付される電子メールに記載のURLにアクセスして行ってください．

ステップ2. 仮登録後に作成される``Copyright Transfer and Page Charge
Agreement''と``Confirmation Sheet of Manuscript Registration''に記入，
署名し，論文投稿締切日までに下記問合せ先まで電子メールまたは郵便にてお
送り下さい(電子メールが望ましいです)．

郵送の場合，封筒に『フォーマルアプローチ特集』と記載してください．

5. 特集 編集委員会

委員長    緒方和博(北陸先端大)
幹事      岡野浩三(阪大) 磯部祥尚(産総研) 土屋達弘(阪大)
          結縁祥治(名大)
委員      岩沼宏治(山梨大) 河辺義信(愛知工大) 小林孝一(北陸先端大)
          坂本比呂志(九工大) 寺内多智弘(名大) 中村正樹(富山県立大)
          蓮尾一郎(東大) 浜口清治(阪大) 廣川直(北陸先端大)

6. 問合せ先

本特集のホームページ:
 (和文)  http://www.jaist.ac.jp/~ogata/FA/index-j.html
 (英文)  http://www.jaist.ac.jp/~ogata/FA/

 緒方 和博
 fa-submit(at)jaist.ac.jp
 〒923-1252 石川県能美市旭台1-1
 北陸先端科学技術大学院大学 情報科学研究科
 FAX: 0761-51-1149