第3回ソフトウェアフォールト予防・検証・妥当性確認に関する国際シンポジウム

参加登録

---

シンポジウム運営組織

運営委員会

Tadashi Dohi，広島大学（日本）
Shaoying Liu（委員長），華東師範大学（中国）
Geguang Pu，華東師範大学（中国）
Tatsuhiro Tsuchiya，大阪大学（日本）

---

大会委員長

Tadashi Dohi，広島大学（日本）

---

プログラム委員長

Hirohisa Aman，愛媛大学（日本）
Xi Wang，Shanghai University（中国）

---

財務委員長

Junjun Zheng，広島大学（日本）

---

現地運営委員長

Hiroshi Takahashi，愛媛大学（日本）
Shozo Saeki，愛媛大学（日本）

---

ウェブ担当

Jingchi Wu，広島大学（日本）

---

プログラム委員会

Yamine Ait Ameur，IRIT/INPT-ENSEEIHT（フランス）
Sousuke Amasaki，南山大学（日本）
Yoonsik Cheon，University of Texas at El Paso（米国）
Yujun Dai，Micron Technology
Mara Downing，University of California Santa Barbara（米国）
Dingbang Fang，Fujian Normal University（中国）
Marc Frappier，Université de Sherbrooke（カナダ）
Sabine Glesner，Technical University of Berlin（ドイツ）
Kiyoshi Honda，大阪工業大学（日本）
Rao Lei，Southwest Petroleum University（中国）
Jiandong Li，Peking University（中国）
Jingyue Li，Norwegian University of Science and Technology（ノルウェー）
Yang Li，Tianjin University（中国）
Chen-Kai Lin，Academia Sinica（台湾）
Ai Liu，Nanjing University of Aeronautics and Astronautics（中国）
Osamu Mizuno，京都工芸繊維大学（日本）
Akito Monden，岡山大学（日本）
Hiroyuki Nakagawa，岡山大学（日本）
Shin Nakajima，国立情報学研究所（日本）
Fumiko Nagoya，日本大学（日本）
Hiroyuki Okamura，広島大学（日本）
Jun Pang，University of Luxembourg（ルクセンブルク）
Yuji Sato，法政大学（日本）
Wuwei Shen，Western Michigan University（米国）
Xinfeng Shu，Xi'an University of Posts and Telecommunications（中国）
Tatsuhiro Tsuchiya，大阪大学（日本）
Masateru Tsunoda，近畿大学（日本）
Pingyan Wang，Guangdong University of Petrochemical Technology（中国）
Tomoyuki Yokogawa，岡山県立大学（日本）
Zhen You，Jiangxi Normal University（中国）
Naijun Zhan，Chinese Academy of Sciences（中国）
Jian Zhang，Chinese Academy of Sciences（中国）
Jianjun Zhao，九州大学（日本）
Junjun Zheng，広島大学（日本）