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

 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 17, 2009.
 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: 

   FA@is.naist.jp
   Hiroyuki Seki
   Graduate School of Information Science
   Nara Institute of Science and Technology
   Takayama 8916-5, Ikoma, Nara, 630-0192 JAPAN 

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

Editorial Committee:

  Guest Editor: Hiroyuki Seki (NAIST) 
                e-mail: FA@is.naist.jp, fax: +81-743-72-5239
  Members: Takahito Aoto (Tohoku Univ.), Masahiro Fujita (Univ. of Tokyo), 
           Kiyoharu Hamaguchi (Osaka Univ.), Yasunori Ishihara (Osaka Univ.),
           Yukiyoshi Kameyama (Univ. of Tsukuba), 
           Yoshinobu Kawabe (Aichi Institute of Technology), 
           Masahito Kurihara (Hokkaido Univ.), 
           Shin-ya Nishizaki (Tokyo Institute of Technology),
           Kazuhiro Ogata (JAIST), Yasuyuki Tsukada (NTT),
           Tomohiro Yoneda (National Institute of Informatics), 
	   Shoji Yuen (Nagoya Univ.)

Further Information:
 Further information may be obtained from the web page at:
     http://narayama.naist.jp/FA/ 
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, authors are required to pay the page 
charges covering pat of the cost of publication.