[logic-ml] CFP IEICE Transactions Special Issue (FORMAL APPROACH)

[Jacques Garrigue]

名古屋大学の結縁先生に代わっての投稿です。

電子情報通信学会英文誌フォーマルアプローチ特集の
論文募集案内をお送り致します。
皆様のご投稿をお待ちしています。

７月中旬締切で１２月末までには最終判定が出る予定です。
------------------------------------------------
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 May
2012.

Formal methods and techniques play a key role in designing and
developing highly reliable hardware and software. 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.

 Theory: Logic, Automata and Formal Languages,
         Formal Semantics, and Models of Computation

 Formal Specification: Petri Net, Process Algebra, Timed Automata,
         Statechart, UML，Z，VDM，B-method，Alloy, etc.

 Verification Method: Model Checking, Automatic and Semi-Automatic
         Theorem Proving, Test, and Formalization and Verification of
         Information Security.

 Formal Approaches to Various Systems such as Database Systems,
         Distributed Systems, and Embedded Systems, using above
         theories and techniques.

Submission Instructions:
 The deadline for submission is July 18, 2011, 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 Prof. Shoji Yuen, the guest
editor.  Please mark ``[Special ED] Formal Approach'' on the envelope.

Editorial Committee:

 Guest Editor-in-Chief: Shoji Yuen(Nagoya University)
 Guest Editors: Yoshinao Isobe (AIST)
          Kazuhiro Ogata (JAIST)
          Tatsuhiro Tsuchiya(Osaka University)
 Members: Ichiro Hasuo (Kyoto University)
          Nao Hirokawa (JAIST)
          Yasunori Ishihara (Osaka University)
          Koji Iwanuma (Yamanashi University)
          Yoshinobu Kawabe (Aichi Institute of Technology)
          Yasuhiko Minamide (University of Tsukuba)
          Kozo Okano (Osaka University)
          Hiroshi Sakamoto (Kyushu Institute of Technology)
          Tachio Terauchi(Tohoku University)
          Tomohiro Yoneda (National Institute of Informatics)

Further information may be obtained from the web page at:
    http://www.agusa.i.is.nagoya-u.ac.jp/FA/

All inquiries should be sent to the guest editor:

   Shoji Yuen  <fa-submit at agusa.i.is.nagoya-u.ac.jp>
   Graduate School of Information Science,
   Nagoya University
   Furo-cho, Chikusa-ku, Nagoya, 464-8601 Japan
   FAX: +81-52-789-3649

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

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.
-- 
Shoji Yuen
Graduate School of Information Science,
Nagoya University