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 2009.

 Formal methods and techniques play a key role in the design and development 
of highly reliable hardware, software, and systems. The last decades have 
seen various new techniques and deep 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: 
 We solicit submissions in all areas of formal approaches, including (but 
not limited to):

  Theory: Formal Approaches using Logic, Automata and Formal Language, 
          Rewrite Systems, and other Models of Computation.

  Formal Specification: Petri Net, Process Algebra, Timed Automata, 
          Statechart, UML, and XML.

  Verification Method: Model Checking, Automatic and Semi-Automatic 
          Theorem Proving, and Test.

  Security: Formal Approaches to Information and Computer Security.

  Formal Approaches to Various Systems: Hardware, Software, Distributed 
         System, Embedded System, Mobile System, and Ubiquitous System.

Submission Instructions:
 The deadline for submission is July 18, 2008.
 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 acceptable format is PDF, and the preferred length of the manuscript 
is 8 pages. Only electronic submission through the web page is accepted.

1. Submit a paper through the web page 
    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 postal mail (e-mail or FAX 
is not acceptable) to: 
    The IEICE Publishing Office 
    Kikai-Shinko-Kaikan Bldg., Annex 3F  
    3-5-22 Shibakoen, Minato-Ku, Tokyo, 105-0011 JAPAN

Please mark ``[Special ED] Formal Approach'' on the envelope.

Editorial Committee:

  Guest Editor: Yukiyoshi Kameyama (Univ. of Tsukuba)
                e-mail: FA@logic.cs.tsukuba.ac.jp, +81-29-853-5758
  Members: Masahiro Fujita (Univ. of Tokyo), Teruo Higashino (Osaka Univ.),
           Kunihiko Hiraishi (JAIST), Yasunori Ishihara (Osaka Univ.),
           Koji Iwanuma (Univ. of Yamanashi), Masahito Kurihara (Hokkaido 
           Univ.), Shin-ya Nishizaki (Tokyo Institute of Technology),
           Kazuhiro Ogata (JAIST), Masahiko Sakai (Nagoya Univ.),
           Hiroyuki Seki (NAIST), Yasuyuki Tsukada} (NTT),
           Tomohiro Yoneda (National Institute of Informatics)

Further Information:
 Further information may be obtained from the web page at:
     http://logic.cs.tsukuba.ac.jp/FA/en/
All inquiries should be sent to the guest editor.

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