[logic-ml] フォーマルアプローチ特集論文募集のご案内
mano.ken at lab.ntt.co.jp
mano.ken at lab.ntt.co.jp
Wed Sep 12 11:19:24 JST 2018
皆様，
（複数のメイリングリストに送信しています．重複して受信の際はどうぞご容
赦ください．）
論文投稿締切（平成 30年 9月25日 (火) 23:59 JST）が近づいて参りましたの
で，電子情報通信学会論文誌英文ED分冊“フォーマルアプローチ特集”の論文
募集を，再度ご案内させていただきます．
真野
>
> logic-ml の皆様，
>
> 電子情報通信学会論文誌英文ED分冊“フォーマルアプローチ特集”の，論文募
> 集のご案内をさせていただきます．
>
> 真野（NTT コミュニケーション科学基礎研究所）
>
> ----
>
> フォーマルアプローチ特集論文募集
>
> 電子情報通信学会論文誌 英文ED分冊
> フォーマルアプローチ特集 編集委員会
>
> フォーマルアプローチ（形式手法・形式技法・形式理論）は，情報システムや組
> 込みシステムの設計開発における信頼性向上の鍵となる重要な基盤です．これま
> で，設計対象のモデル化，要求分析と仕様記述，コード自動生成，テストと検証，
> 保守と再利用などに関する技術と理論的知見を生み出してきました．近年の情報
> 技術の進展に伴う対象領域の拡大に伴い，フォーマルアプローチは従来にも増し
> て多様な分野で用いられるようになり，ますます発展しています．
>
> 本小特集は，情報システムや組込みシステムの設計・運用におけるフォーマルア
> プローチについて，基礎理論から応用まで，幅広い研究を対象にしています．個
> 別の対象領域に特化したケーススタディから，分野横断的な手法や理論まで，様々
> な方面から，フォーマルアプローチ研究に携わる若手研究者を奨励するとともに，
> この分野の研究が更に発展することを目指しております．
>
> 奮って御投稿下さいますよう御案内申し上げます．
>
> 1. 対象分野
>
> 主な対象は以下のとおりですが，これに限らず，「情報システムや組込みシス
> テム及びそれをとりまく環境を定式化した上で，そのシステムの振舞いの解
> 析や性質の導出を厳密に行い，設計・運用に関わる種々の問題の解決を図る」
> ことを目指した論文を広く募集します．
>
> - 基礎理論：システムの構造や振舞いの形式記述・検証に関する基礎理論
> - 形式技法：ソフトウェア，ハードウェア，ネットワークなどのシステムに
> 対する体系だった記述・検証技法
> - 形式ツール：モデル検査器や定理証明器など，形式手法に基づくツール
> - 応用：情報システムや組込システム，回路系，情報セキュリティ，車載システム，
> 人工知能・機械学習システムなどへの形式手法の適用事例
> - 教育：教育事例
>
> 2. 論文の執筆と取扱い
> 論文 (一般論文)，レター，及びサーベイ論文を募集します．投稿規程等は電子情
> 報通信学会の英文誌の規程と同じです．以下の規程を御参照下さい．
>
> "The Information for Authors"
> (IEICE Transactions on Information and Systems)
> http://www.ieice.org/eng/shiori/mokuji_iss.html
>
> 3. 主なスケジュール
> 論文投稿締切 平成 30年 9月25日 (火) 23:59 JST (厳守)
> 第一回判定通知予定 平成 30年11月23日 (金)
> 初回修正締切 平成 31年 1月18日 (金)
> 最終判定通知予定 平成 31年 3月 8日 (金)
> 発行予定 平成 31年 8月号
>
> 4. 投稿方法
> 本特集では，電子投稿のみを受付けます．
>
> 論文を下記のweb pageから投稿して下さい．初期投稿時に，編集可能な論文本体
> (TeX/Word)，図，著者の写真, biographyも投稿する必要があります．
>
> https://review.ieice.org/regist/regist_baseinfo_e.aspx
>
> 投稿の際には以下の項目を選択してください．
>
> "Journal/Section"
> -> "[Special FO] Formal Approaches"
>
> 同時にWEB上で著作権譲渡手続きができます．投稿手続きについて御不明な点が
> ございましたら，問合先まで御連絡下さい．
>
> 5. 掲載料
> 招待論文を含むすべての著者は，論文が採録となった場合，2019年4月頃に掲載料
> をお支払い頂くことになります．2019年5月15日までに支払いが完了しない場合に
> は，採録取り消しとなります．
>
> 6. オープンアクセス化
> 情報システムソサイエティ英文論文誌は，2017 年 1 月よりオープンアクセス化さ
> れています．J-STAGE（https://www.jstage.jst.go.jp/browse/transinf/）に掲載
> されている論文はすべて閲覧可能になっています．
>
> 7. 特集 編集委員会
> 委員長：青木利晃（北陸先端大）
> 幹事：真野健（ＮＴＴ），中川博之（阪大）
> 委員：石川冬樹'情報研)，來間啓伸(日立)，小林孝一(北大)，
> 立石孝彰(日本IBM)，土屋達弘(阪大)，山口真悟(山口大)，
> 横川智教(岡山県立大)
>
> 8. 問合せ先
> 本特集のホームページ:
> (和文) http://www.jaist.ac.jp/~toshiaki/fa2018/jp/
> (英文) http://www.jaist.ac.jp/~toshiaki/fa2018/
>
> 青木利晃
> 北陸先端科学技術大学院大学情報科学系
> 923-1292 石川県能美市旭台1-1
> toshiaki at jaist.ac.jp
>
> ===============================================================
>
> CALL FOR PAPERS
>
> Special Section on Formal Approaches
>
> The IEICE Transactions on Information and Systems announces a forthcoming
> special section on Formal Approaches to be published in August 2019.
>
> 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, AI systems,
> machine learning systems, automotive systems, etc.
> - Education: education on formal methods.
>
> Submission Instructions:
>
> The deadline for submission is Sep 25, 2018, 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:
> Toshiaki Aoki (JAIST)
> Guest Editors:
> Ken Mano (NTT Communication Science Laboratories)
> Hiroyuki Nakagawa (Osaka University)
> Members:
> Fuyuki Ishikawa (National Institute of Infomatics)
> Hironobu Kuruma (Hitachi, Ltd.)
> Koichi Kobayashi (Hokkaido University)
> Takaaki Tateishi (IBM Japan)
> Tatsuhiro Tsuchiya (Osaka University)
> Shingo Yamaguchi (Yamaguchi University)
> Tomoyuki Yokogawa (Okayama Prefectural University)
>
> Further information may be obtained from the web page at:
> http://www.jaist.ac.jp/~toshiaki/fa2018/
>
> All inquiries should be sent to the guest editor in chief:
> Toshiaki Aoki(JAIST)
> 1-1 Asahidai, Nomi-shi, Ishikawa, 923-1292, Japan
> E-mail: toshiaki at jaist.ac.jp
>
> Important Dates:
> Submission Deadline: Sep 25, 2018 23:59 JST (GMT+9) [firm deadline]
> First Notification: Nov 23, 2018
> Revised Version Deadline: Jan 18, 2019
> Final Notification: Mar 8, 2019
>
> 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
>
> (3) Upon accepted for publication, all authors, including authors of
> invited papers, should pay the page charges covering partial cost of
> publication around April, 2019. If payment is not completed by May 15,
> 2019, your manuscript will be handled as rejection.
>
> (4) The IEICE Transactions on Information and Systems is an open access
> journal from January, 2017. Open access to "IEICE Transactions on
> Information and Systems” is available via the J-STAGE
> (https://www.jstage.jst.go.jp/browse/transinf/).
>
>
>
More information about the Logic-ml
mailing list