posted by user: t_tsuchiya || 1088 views || tracked by 3 users: [display]

IEICE Trans D Form Appr 2018 : Special Section on Formal Approaches at IEICE Transactions on Information and Systems

FacebookTwitterLinkedInGoogle

Link: http://www-ise4.ist.osaka-u.ac.jp/~t-tutiya/FA/
 
When N/A
Where N/A
Submission Deadline Aug 21, 2017
Notification Due Jan 24, 2018
Categories    formal approaches   formal verification   formal methods   formal specification
 

Call For Papers

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

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, etc.
- Education: education on formal methods.

Submission Instructions:

The deadline for submission is Aug 21, 2017, 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:
Tatsuhiro Tsuchiya (Osaka University)
Guest Editors:
Toshiaki Aoki (JAIST)
Hiroyuki Nakagawa (Osaka University)
Members:
Takeo Imai (Toshiba Corp.)
Fuyuki Ishikawa (National Institute of Infomatics)
Koichi Kobayashi (Hokkaido University)
Hironobu Kuruma (Hitachi, Ltd.)
Ken Mano (NTT Communication Science Laboratories)
Shingo Yamaguchi (Yamaguchi University)
Tomoyuki Yokogawa (Okayama Prefectural University)

Further information may be obtained from the web page at:
http://www-ise4.ist.osaka-u.ac.jp/~t-tutiya/FA/

All inquiries should be sent to the guest editor in chief:
Tatsuhiro Tsuchiya
Osaka University
1-5 Yamadaoka, Suita-shi, Osaka 565-0871, Japan
E-mail: t-tutiya@ist.osaka-u.ac.jp

Important Dates:
Submission Deadline: Aug 21, 2017 23:59 JST (GMT+9)
First Notification: Oct 17, 2017
Revised Version Deadline: Dec 17, 2017
Final Notification: Jan 24, 2018

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 carefuly read the submission guideline at
http://www.ieice.org/eng/shiori/mokuji_iss.html

Related Resources

SBMF 2018   21st Brazilian Symposium on Formal Methods
FACS 2018   15th International Conference on Formal Aspects of Component Software
IEEE Trans SUSC 2019   IEEE Trans on Sustainable Computing (SI: Intersection of Computing and Communication Technologies with Energy Systems)
IEICE ICSS Special Issue 2018   Special Section on Information and Communication System Security, The IEICE Transactions on Information and Systems
SOFE 2018   4th International Conference on Software Engineering
FTSCS 2018   6th International Workshop on Formal Techniques for Safety-Critical Systems
IEEE TC Special Section on NVM 2018   IEEE Transactions on Computers Special Section on Emerging Non-volatile Memory Technologies: from Devices to Architectures and Systems
HPCA 2019   The 25th International Symposium on High-Performance Computer Architecture
Panel: Transgender Identity Politics 2018   Call for Panelists: Transgender Identity Politics at Trans(form)ing Queer - The 11th Annual DC Queer Studies Symposium
CPPS 2018   CYBER PHYSICAL PRODUCTION SYSTEMS: THEORY AND PRACTICES