皆様，

IEICE フォーマルアプローチ特集ですが，多くの方に原稿をご投稿いただきた く，投稿締め切りを 2019 年 10 月 8 日まで延長いたしました．

投稿をご検討いただきますよう，なにとよろしくお願い致します．

真野

===========================================================================

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

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

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

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

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

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

- 基礎理論：システムの構造や振舞いの形式記述・検証に関する基礎理論 - 形式技法：ソフトウェア，ハードウェア，ネットワークなどのシステムに対す る体系だった記述・検証技法 - 形式ツール：モデル検査器や定理証明器など，形式手法に基づくツール - 応用：情報システムや組込システム，回路系，情報セキュリティ，車載システ ム，人工知能・機械学習システム，マルチエージェントなどへの形式手法の適 用事例 - 教育：教育事例

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

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

3. 主なスケジュール 論文投稿締切 2019 年 10 月 8 日 (火) 23:59 JST (延長いたしました) 第一回判定通知予定 2019 年 12 月 6 日 (金) 初回修正締切 2020 年 1 月 31 日 (金) 最終判定通知予定 2020 年 3 月 20 日 (金) 発行予定 2020 年 8 月号

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

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

https://review.ieice.org/regist/regist_baseinfo_e.aspx

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

"Journal/Section" -> "[Special FO] Formal Approaches"

同時に WEB 上で著作権譲渡手続きができます．投稿手続きについて御不明な点が ございましたら，問合先まで御連絡下さい．

5. 掲載料 招待論文を含むすべての著者は，論文が採録となった場合，2020 年 4 月頃に 掲載料をお支払い頂くことになります．2020 年 5 月 15 日までに支払いが完 了しない場合には，採録取り消しとなります．

6. オープン化，オープンアクセスオプション ・オープン化：2017年1月号以降に掲載された電子情報通信学会英文論文誌Ｄのす べての論文を，J-STAGEを通じて全世界の読者へ公開しています． ・2020年1月号以降に掲載される論文には，電子情報通信学会の多くの論文誌で適 用することができるオープンアクセスオプションを適用することができなくなり ます．（オープン化は，2020年1 月以降も継続する予定です．） ・オープン化とオープンアクセスオプションに関する詳細は，"Information for Authors"　(http://www.ieice.org/eng/shiori/mokuji_iss.html) を御参照下さ い． ・オープン化とオープンアクセスオプションに関しては，予告なく変更されるこ とがあります．

7. 特集 編集委員会 委員長：真野健(NTT) 幹事：石川冬樹(情報研)，横川智教（岡山県立大） 委員：青木利晃(北陸先端大)，青木善貴（日本ユニシス），來間啓伸(日立)， 小林孝一(北大)，立石孝彰(日本IBM)，土屋達弘(阪大)，山口真悟(山口大)

8. 問合せ先 本特集のホームページ: (和文) http://www.brl.ntt.co.jp/people/mano/fa2019/jp/ (英文) http://www.brl.ntt.co.jp/people/mano/fa2019/

真野健 NTT コミュニケーション科学基礎研究所 〒243-0198 神奈川県厚木市森の里若宮 3-1 [email protected]

===============================================================

CALL FOR PAPERS

Special Section on Formal Approaches

The IEICE Transactions on Information and Systems announces a forthcoming special section on Formal Approaches to be published in August 2020.

Formal methods and techniques play a key role in designing and developing highly reliable information systems and embedded systems. The last decades have seen various new techniques and profound theoretical results using formal methods in surprisingly many fields such as modeling, requirements analysis, specification, automatic generation of codes, testing, verification, and maintenance. They are rapidly extending their application domains as a result of the recent growth of information and communication technologies.

The Special Section on Formal Approaches aims at stimulating research on formal approaches to information systems and embedded systems, ranging from fundamental theory to practical applications. Our emphasis is put on the cross-fertilization of related research fields and encouragement of young researchers.

Topics: The major topics are listed below, but we solicit submissions in all areas of formal approaches, i.e., first to formalize information systems, embedded systems, and their environment, next to analyze their behavior and to derive their properties rigorously, and then to solve various problems in designing and managing the systems.

- Theoretical foundations: all aspects of theory related to formal description and verification for structure and behavior of systems. - Formal techniques: techniques for mainly describing and analyzing systems, such as software, hardware and networks. - Formal tools: tools based on formal methods such as model checkers, theorem provers, and static and dynamic analyzers. - Applications: practical experiences of applying formal methods to information systems, embedded systems, circuits, security, AI systems, machine learning systems, multi-agent systems, automotive systems, etc. - Education: education on formal methods.

Submission Instructions:

The deadline for submission is Oct 8, 2019, 23:59 JST(GMT+9) (Extended). Manuscripts should be carefully prepared according to the guideline in the "Information for Authors" (available at http://www.ieice.org/eng/shiori/mokuji_iss.html). The preferred length of the manuscript is 8 pages. Only electronic submission through the web page is accepted.

Submit a complete paper and transfer copyright of the paper using the IEICE Web site https://review.ieice.org/regist/regist_baseinfo_e.aspx Authors should choose the [Special FO] Formal Approaches" as a "Journal/Section" on the online screen.

Editorial Committee:

Guest Editor-in-Chief: Ken Mano (NTT Communication Science Laboratories) Guest Editors: Fuyuki Ishikawa (National Institute of Informatics) Tomoyuki Yokogawa (Okayama Prefectural University) Members: Toshiaki Aoki (JAIST) Yoshitaka Aoki (Nihon Unisys) Koichi Kobayashi (Hokkaido University) Hironobu Kuruma (Hitachi, Ltd.) Takaaki Tateishi (IBM Japan) Tatsuhiro Tsuchiya (Osaka University) Shingo Yamaguchi (Yamaguchi University)

Further information may be obtained from the web page at: http://www.brl.ntt.co.jp/people/mano/fa2019/

All inquiries should be sent to the guest editor in chief: Ken Mano NTT Communication Science Laboratories 3-1 Morinosato Wakamiya Atsugi Kanagawa 243-0198 Japan E-mail: [email protected]

Important Dates: Submission Deadline: Oct 8, 2019 23:59 JST (GMT+9) [Extended] First Notification: Dec 6, 2019 Revised Version Deadline: Jan 31, 2020 Final Notification: Mar 20, 2020

Important Notice. (1) At least one of the authors must be an IEICE member when the manuscript is submitted for review. For the application of IEICE membership, visit http://www.ieice.org/eng/member/OM-appli.html

(2) When a paper has been accepted for publication, the authors are required to pay the page charges covering part of the cost of publication. Please carefully read the submission guideline at http://www.ieice.org/eng/shiori/mokuji_iss.html

(3) Upon accepted for publication, all authors, including authors of invited papers, should pay the page charges covering partial cost of publication around April, 2020. If payment is not completed by May 15, 2020, your manuscript will be handled as rejection.

(4) [Open Access Publishung, Open Access Option] ・Open Access Publishing: Since January 2017, all papers of the IEICE Transactions on Information and Systems stored in J-STAGE that include all papers published from January 2017 have been opened to all reader in the world through J-STAGE. ・Open Access Option for many transactions in IEICE will not be applied to papers in January 2020 issue and following issues of the IEICE Transactions on Information and Systems. (Open Access Publishing will be continued after January 2020.) ・For details on Open Access Publishing and Open Access Options, please carefully refer to “The Information for Authors” (http://www.ieice.org/eng/shiori/mokuji_iss.html). ・Note that these rules may be changed without notice.