フォーマルアプローチ（形式手法・形式技法・形式理論）は，情報システムや組込みシステムの設計開発における信頼性向上の鍵となる重要な基盤です．
これまで，設計対象のモデル化，要求分析と仕様記述，コード自動生成，テストと検証，保守と再利用などに関する技術と理論的知見を生み出してきました．近
年の情報技術の進展に伴う対象領域の拡大に伴い，フォーマルアプローチは従来にも増して多様な分野で用いられるようになり，ますます発展しています．
本小特集は，情報システムや組込みシステムの設計・運用におけるフォーマルアプローチについて，基礎理論から応用まで，幅広い研究を対象にしていま
す．個別の対象領域に特化したケーススタディから，分野横断的な手法や理論まで，様々な方面から，フォーマルアプローチ研究に携わる若手研究者を奨励する
とともに，この分野の研究が更に発展することを目指しております．
奮って御投稿下さいますよう御案内申し上げます．
フォーマルアプローチ小特集編集委員会
1. 対象分野
主な対象は以下のとおりですが，これに限らず，「情報システムや組込みシステムおよびそれをとりまく環境を定式化した上で，そのシステムの振舞いの解析や性質の導出を厳密に行い，設計・運用に関わる種々の問題の解決を図る」ことを目指した論文を広く募集します．
- 基礎理論： システムの構造や振舞いの形式記述・検証に関する基礎理論
- 形式技法： ソフトウェアやハードウェアを形式的に記述・検証するための技法
- 形式ツール： モデル検査器や定理証明器など，形式手法に基づくツール
- 応用： 情報システムや組込システムへの形式手法の適用事例
2. 論文の執筆と取扱い
論文（一般論文），レター，及びサーベイ論文を募集します．投稿規定等は電子情報通信学会の英文誌の規定と同じです．以下の規定を御参照ください．
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も投稿する必要があります．
投稿の際には以下の項目を選択してください．
| "Journal/Section"
→ "[Special FO] Formal Approach" |
データ登録時点で論文原稿のアップロードができない場合，
「郵送による投稿」を選択して登録を一旦完了させてください．
論文原稿のアップロードは，
登録後に送付される電子メールに記載のURLにアクセスして行ってください．
ステップ2.
仮登録後に作成される"Copyright Transfer and Page Charge
Agreement"と"Confirmation Sheet of Manuscript Registration"に記入，
署名し，論文投稿締切日までに下記問合せ先まで
電子メールまたは郵便にてお送り下さい（電子メールが望ましいです）．
郵送の場合，封筒に『フォーマルアプローチ小特集』と記載してください．
5. 小特集 編集委員会
| 委員長 |
磯部 祥尚 (産総研) |
| 幹事 |
岡野浩三 (阪大)，河辺義信 (愛知工大)，土屋達弘 (阪大) |
| 委員 |
青木利晃 (北陸先端大)，石川冬樹 (情報研)，來間啓伸 (日立)，
|
|
小林孝一 (北陸先端大)，寺内多智弘 (名大)，
|
|
中村正樹 (富山県立大)，蓮尾一郎 (東大)
|
|
|
6. 問合せ先
磯部祥尚
|
産業技術総合研究所セキュアシステム研究部門
|
〒305-8568 茨城県つくば市梅園1-1-1 中央第2
|
7. 注意事項