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 Sep 24, 2019, 23:59 JST(GMT+9).
 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: [log in to unmask]

Important Dates:
  Submission Deadline: Sep 24, 2019 23:59 JST (GMT+9) [strict]
  First Notification: Nov 22, 2019
  Revised Version Deadline: Jan 17, 2020
  Final Notification: Mar 6, 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 Option] Papers published in January 2019 issue and
following issues will be offered a trial basis option which can make
the papers open access if authors pay an additional charge on top of
the usual page charge. For details on open access options, please
carefully refer to “The Information for Authors”
(http://www.ieice.org/eng/shiori/mokuji_iss.html). Note that open
access option is still in the pre-trial stage, and it may be changed
without notice.

########################################################################

To unsubscribe from the FMNET list, click the following link:
https://www.jiscmail.ac.uk/cgi-bin/webadmin?SUBED1=FMNET&A=1