The 3^rd International Symposium on Software Fault Prevention, Verification, and Validation

Registration

Please contact Dr. Junjun Zheng by email at jzheng@hiroshima-u.ac.jp regarding any issues in relation to registration and payment as well as invitation letter for visa application (if applicable).

1.Each accepted paper for SFPVV2026 symposium must have at least one author registered for SFPVV2026 in the category of Author Registration by the indicated due date. This policy applies to each accepted paper, NOT each author.

2.All the registrations and payments should be made using the online registration system provided in the SFPVV2026 homepage. The online registration supports Credit Card payment only. Not expected, but just in case that the online registration and payment cannot be made for a good reason, other means for payment (wire-transfer, cheque, online-transfer and so on) can be considered. In that case, please contact Dr. Junjun Zheng by email (jzheng@hiroshima-u.ac.jp) as early as possible. Registration can be considered completed only after the full payment has been received.

3.All the fees and payments are in Japanese yen (JPY).

4.Registration cancelation policy: Registration fees will be refunded only if the cancellation request is submitted in writing by email with a good reason and no later than 20th October 2026. Cancellations will be subject to a cancellation fee to cover administrative charges. No refunds will be issued for cancellation requests received after 20th October 2026.

---

Symposium Organizers

Steering Committee

Tadashi Dohi, Hiroshima University, Japan
Shaoying Liu (Chair), East China Normal University, China
Geguang Pu, East China Normal University, China
Tatsuhiro Tsuchiya, University of Osaka, Japan

General Chair

Tadashi Dohi, Hiroshima University, Japan

---

Program Chairs

Hirohisa Aman, Ehime University, Japan
Xi Wang, Shanghai University, China

---

Finance Chair

Junjun Zheng, Hiroshima University, Japan

---

Local Arrangement Chairs

Hiroshi Takahashi, Ehime University, Japan
Shozo Saeki, Ehime University, Japan

---

Web Master

Jingchi Wu, Hiroshima University, Japan

---

Program Committee

Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France
Sousuke Amasaki, Nanzan University, Japan
Yoonsik Cheon, University of Texas at El Paso, USA
Yujun Dai, Micron Technology
Mara Downing, University of California Santa Barbara, USA
Dingbang Fang, Fujian Normal University, China
Marc Frappier, Université de Sherbrooke, Canada
Sabine Glesner, Technical University of Berlin, Germany
Kiyoshi Honda, Osaka Institute of Technology, Japan
Rao Lei, Southwest Petroleum University, China
Jiandong Li, Peking University, China
Jingyue Li, Norwegian University of Science and Technology, Norway
Yang Li, Tianjin University, China
Chen-Kai Lin, Academia Sinica, Taiwan
Ai Liu, Nanjing University of Aeronautics and Astronautics, China
Osamu Mizuno, Kyoto Institute of Technology, Japan
Akito Monden, Okayama University, Japan
Hiroyuki Nakagawa, Okayama University, Japan
Shin Nakajima, National Institute of Informatics, Japan
Fumiko Nagoya, Nihon University, Japan
Hiroyuki Okamura, Hiroshima University, Japan
Jun Pang, University of Luxembourg, Luxembourg
Yuji Sato, Hosei University, Japan
Wuwei Shen, Western Michigan University, USA
Xinfeng Shu, Xi'an University of Posts and Telecommunications, China
Tatsuhiro Tsuchiya, University of Osaka, Japan
Masateru Tsunoda, Kindai University, Japan
Pingyan Wang, Guangdong University of Petrochemical Technology, China
Tomoyuki Yokogawa, Okayama Prefectural University, Japan
Zhen You, Jiangxi Normal University, China
Naijun Zhan, Chinese Academy of Sciences, China
Jian Zhang, Chinese Academy of Sciences, China
Jianjun Zhao, Kyushu University, Japan
Junjun Zheng, Hiroshima University, Japan