フォーマルアプローチ (形式手法・形式技法・形式理論)は，情報システムや組込みシステムの設計開発における信頼性向上の鍵となる重要な基盤です．
これまで，設計対象のモデル化，要求分析と仕様記述，コード自動生成，テストと検証，保守と再利用などに関する技術と理論的知見を生み出してきました．
近年の情報技術の進展に伴う対象領域の拡大に伴い，フォーマルアプローチは従来にも増して多様な分野で用いられるようになり，ますます発展しています．
本小特集は，情報システムや組込みシステムの設計・運用におけるフォーマルアプローチについて，基礎理論から応用まで，幅広い研究を対象にしています．
個別の対象領域に特化したケーススタディから，分野横断的な手法や理論まで，様々な方面から，フォーマルアプローチ研究に携わる若手研究者を奨励するとともに，この分野の研究が更に発展することを目指しております．
奮って御投稿下さいますよう御案内申し上げます．
1. 対象分野
主な対象は以下のとおりですが，これに限らず，「情報システムや組込みシステム及びそれをとりまく環境を定式化した上で，そのシステムの振舞いの解析や性質の導出を厳密に行い，設計・運用に関わる種々の問題の解決を図る」ことを目指した論文を広く募集します．
● 基礎理論：
システムの構造や振舞いの形式記述・検証に関する基礎理論
● 形式技法：
ソフトウェア，ハードウェア，ネットワークなどのシステムに対する体系だった記述・検証技法
● 形式ツール：
モデル検査器や定理証明器など，形式手法に基づくツール
● 応用：
情報システムや組込システムへの形式手法の適用事例
● 教育：
形式手法の教育事例
過去の掲載論文2. 論文の執筆と取扱い
論文 (一般論文)，レター，及びサーベイ論文を募集します．投稿規程等は電子情報通信学会の英文誌の規程と同じです．
以下の規程を御参照下さい．
“The Information for Authors”
(IEICE Transactions on Information and Systems)
http://www.ieice.org/eng/shiori/mokuji_iss.html
3. 投稿方法
本小特集では，電子投稿のみを受付けます．
論文を下記のweb pageから投稿してください．初期投稿時に，編集可能な論文本体（TeX/Word），図，著者の写真, biographyも投稿する必要があります．
https://review.ieice.org/regist/regist_baseinfo_e.aspx
投稿の際には以下の項目を選択してください．
"Type of Section (Issue)/Transactions"
-> "[Special FO] Formal Approach"
同時にWEB上で著作権譲渡手続きができます．投稿手続きについて御不明な点がございましたら，学会事務局まで御連絡下さい．
4. 主なスケジュール
● 論文投稿締切 平成 27年 7月15日 (水) 23:59 JST
● 第一回判定通知予定 平成 27年 9月10日 (木)
● 最終判定通知予定 平成 27年12月18日 (金)
● 発行予定 平成 28年 5月号
5. 小特集 編集委員会
委員長 河辺 義信(愛知工大)
幹事 土屋 達弘 (阪大)，中川 博之 (阪大)，中村 正樹 (富山県立大)
委員 青木 利晃(北陸先端大)，石川 冬樹(情報研)，
今井健男 (東芝)，來間啓伸(日立)，
小林 孝一(北大)，細部博史（法政大），
真野健（NTT）
6. 問合せ先
河辺 義信 (愛知工大)
kawabe(at)aitech.ac.jp
〒470-0392 愛知県豊田市八草町八千草1247
愛知工業大学 情報科学部 情報科学科
本特集のホームページ:
和文 http://aitech.ac.jp/kwb/FA/index-j.html
英文 http://aitech.ac.jp/kwb/FA/
７. 注意事項
● 論文が採録となった場合，掲載料（論文別刷代金を含む）をお支払い頂くことになります．
● 投稿に際し，著者のうち少なくとも１名は，本会会員でなければなりません．
投稿資格を満たさない著者からのご投稿は受け付けません．
入会の案内は
http://www.ieice.org/jpn/nyukai/index.html
をご覧下さい．