posted by user: kazuhiro_ogata || 5023 views || tracked by 12 users: [display]

IEICE FA 2012 : Special Section on Formal Approach, IEICE Trans

FacebookTwitterLinkedInGoogle

Link: http://www.jaist.ac.jp/~ogata/FA/
 
When N/A
Where N/A
Submission Deadline Jul 18, 2012
Notification Due Dec 22, 2012
Categories    formal methods   formal specification   formal verification   formal analysis
 

Call For Papers

CALL FOR PAPERS

Special Section on Formal Approach

The IEICE Transactions on Information and Systems announces a
forthcoming special issue on Formal Approach to be published in June
2013.

Formal methods and techniques play a key role in designing and
developing highly reliable information 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,
test, verification, maintenance, and reuse. They are rapidly
extending its application domains as a result of the recent growth of
information and communication technologies.

The Special Section on Formal Approach aims at stimulating research on
formal approach to information systems, ranging from fundamental
theory to case studies in practical systems. 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 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
approaches such as requirements, specification, verification, and
static and dynamic analysis.

- Methodologies: all aspects of methodologies related to formal
approaches such as lightweight formal methods, model-based
design, and refinement.

- Languages: specification languages, modeling languages, model-based
(programming) languages, hardware description and verification
languages, etc.

- Tools: model checkers, theorem provers, static and dynamic analyzers,
etc.

- Applications: formal analysis of systems such as embedded systems,
hybrid systems and social systems (e.g., internal control),
testing such as concolic testing, code generation from formal
specifications, etc.

Submission Instructions:
The deadline for submission is July 18, 2012, 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.

1. Submit a complete paper and electronic files (TeX/Word files,
figures, authors' photos and biography) for publishing using the IEICE
Web site
https://review.ieice.org/regist_e.aspx
Authors should choose
``[Special ED] Formal Approach'' as a ``Type of Section
(Issue)/Transactions'' on the online screen.

2. Send signed and completed forms of ``Copyright Transfer and Page
Charge Agreement'' and ``Confirmation Sheet of Manuscript
Registration'' (which will be generated when you submit a paper) by
e-mail (preferable) or postal mail to the guest editor-in-chief.
Please mark ``[Special ED] Formal Approach'' on the envelope.

Editorial Committee:

Guest Editor-in-Chief: Kazuhiro Ogata (JAIST)
Guest Editors: Yoshinao Isobe (AIST)
Kozo Okano (Osaka University)
Tatsuhiro Tsuchiya (Osaka University)
Shoji Yuen (Nagoya University)
Members: Kiyoharu Hamaguchi (Osaka University)
Ichiro Hasuo (The University of Tokyo)
Nao Hirokawa (JAIST)
Koji Iwanuma (University of Yamanashi)
Yoshinobu Kawabe (Aichi Institute of Technology)
Koichi Kobayashi (JAIST)
Masaki Nakamura (Toyama Prefectural University)
Hiroshi Sakamoto (Kyushu Institute of Technology)
Tachio Terauchi(Nagoya University)

Further information may be obtained from the web page at:
http://www.jaist.ac.jp/~ogata/FA/

All inquiries should be sent to the guest editor in chief:

Kazuhiro Ogata (fa-submit(at)jaist.ac.jp)
School of Information Science, JAIST
1-1 Asahidai, Nomi, Ishikawa 923-1292 Japan
FAX: +81-761-51-1149

Important Dates:
Submission Deadline: July 18, 2012 23:59JST(GMT+9)
First Notification: September 14, 2012
Revised Version Deadline: November 13, 2012
Final Notification: December 22, 2012

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) If accepted for publication, authors are required to pay the page
charges covering pat of the cost of publication.

Related Resources

ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
IEICE Special-MV 2020   IEICE Special Section on Machine Vision and its Applications
SEFM 2020   Software Engineering and Formal Methods
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
TPDS-SS-AI 2020   IEEE Transactions on Parallel and Distributed Systems (IEEE TPDS) Special Section on Parallel and Distributed Computing Techniques for AI, ML and DL
FORMATS 2020   Formal Modeling and Analysis of Timed Systems
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification
EXPRESS/SOS 2020   Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
FormaliSE 2020   8th International Conference on Formal Methods in Software Engineering
FMICS 2020   25th International Conference on Formal Methods for Industrial Critical Systems