フォーマルアプローチ (形式手法・形式技法・形式理論)は，情報システムや組込みシステムの設計開発における信頼性向上の鍵となる重要な基盤です．これまで，設計対象のモデル化，要求分析と仕様記述，コード自動生成，テストと検証，保守と再利用などに関する技術と理論的知見を生み出してきました．近年の情報技術の進展に伴う対象領域の拡大に伴い，フォーマルアプローチは従来にも増して多様な分野で用いられるようになり，ますます発展しています．
本小特集は，情報システムや組込みシステムの設計・運用におけるフォーマルアプローチについて，基礎理論から応用まで，幅広い研究を対象にしています．個別の対象領域に特化したケーススタディから，分野横断的な手法や理論まで，様々な方面から，フォーマルアプローチ研究に携わる若手研究者を奨励するとともに，この分野の研究が更に発展することを目指しております．
奮って御投稿下さいますよう御案内申し上げます．
1. 対象分野
主な対象は以下のとおりですが，これに限らず，「情報システムや組込みシステム及びそれをとりまく環境を定式化した上で，そのシステムの振舞いの解析や性質の導出を厳密に行い，設計・運用に関わる種々の問題の解決を図る」ことを目指した論文を広く募集します．
基礎理論：
システムの構造や振舞いの形式記述・検証に関する基礎理論
形式技法：
ソフトウェア，ハードウェア，ネットワークなどのシステムに対する体系だった記述・検証技法
形式ツール：
モデル検査器や定理証明器など，形式手法に基づくツール
応用：
情報システムや組込みシステム，回路系，情報セキュリティなどへの形式手法の適用事例
教育：
形式手法の教育事例
過去の掲載論文2. 論文の執筆と取扱い
論文 (一般論文)，レター，及びサーベイ論文を募集します．投稿規程等は電子情報通信学会の英文誌の規程と同じです．以下の規程を御参照下さい．"The Information for Authors"(IEICE Transactions on Information and Systems)
3. 投稿方法
本小特集では，電子投稿のみを受付けます．論文をこちらのweb page (IEICE)から投稿してください．初期投稿時に，編集可能な論文本体（TeX/Word），図，著者の写真, biographyも投稿する必要があります．投稿の際には以下の項目を選択してください．
"Type of Section (Issue)/Transactions"→"[Special FO] Formal Approach"
同時にWEB上で著作権譲渡手続きができます．投稿手続きについて御不明な点がございましたら，学会事務局まで御連絡下さい．
4. 主なスケジュール
5. 小特集 編集委員会
6. 問合せ先
7. 注意事項