Organizers

General Chairs:
Kokichi Futatsugi (JAIST, Japan)
Shaoying Liu (Hosei University, Japan)

Conference Chair:
Hitoshi Ohsaki (AIST, Japan)

Program Chairs:
Kenji Taguchi (AIST, Japan)
Toshiaki Aoki (JAIST, Japan)

Workshop/Tutorial Chairs:
Kazuhiro Ogata (JAIST, Japan)
Weiqiang Kong (Kyushu University, Japan)

Publicity/Publication Chairs:
Yuki Chiba (JAIST, Japan)
Takashi Kitamura (AIST, Japan)

Student Volunteer Chair:
Kenro Yadake (JAIST, Japan)

Web Chair:
Nao Aoki (JAIST, Japan)

Steering Committee:
Keijiro Araki, Kyushu University, Japan
Michael Butler, University of Southampton, UK
Jin Song Dong, National University of Singapore, Singapore
He Jifeng, East China Normal University, China
Shaoying Liu (Chair), Hosei University, Japan
Jeff Offutt, George Mason University, USA
Shengchao Qin, University of Teesside, UK

Program Committee:

Bernhard K. Aichernig (Graz University of Technology, Austria)
Cyrille Artho (AIST, Japan)
Richard Banach (University of Manchester, UK)
Nikolaj Bjørner(Microsoft Research Redmond, USA)
Jonathan P. Bowen (University of Westminster, UK)
Michael Butler (University of Southampton, UK)
Sagar Chaki (CMU/SEI, USA)
Rance Cleaveland (University of Maryland/Reactive Systems, USA)
Jim Davies (Oxford University, UK)
Zhenhua Duan (Xidian University, China)
Joaquim Gabarro (Universitat Politecnica de Catalunya, Spain)
Andy Galloway (University of York, UK)
Stefania Gnesi (ISTI-CNR, Italy)
Wolfgang Grieskamp (Google, USA)
Klaus Havelund (NASA JPL, USA)
Daniel Jackson (MIT, USA)
Thierry Jeron (INRIA, France)
Gerwin Klein (NICTA, Australia)
Weiqiang Kong (Kyushu University, Japan)
Kim G. Larsen (Aalborg University, Denmark)
Peter Gorm Larsen (Engineering College of Aarhus, Denmark)
Insup Lee (University of Pennsylvania, USA)
Michael Leuschel (Heinrich-Heine Universitat Dusseldorf, Germany)
Xuandong Li (Nanjing University, China)
Yuan-Fang Li (Monash University, Australia)
Zhiming Liu (UNU/IIST, Macau)
Dominique Mery (Nancy University and LORIA, France)
Stephan Merz (INRIA Nancy & LORIA, France)
Huaikou Miao (Shanghai University, China)
Alexandre Mota (CIn-UFPE, Brasil)
Shin Nakajima (NII, Japan)
Kazuhiro Ogata (JAIST, Japan)
José Nuno Oliveira (Universidade do Minho, Portugal)
Jun Pang (University of Luxembourg, Luxembourg)
Shengchao Qin (Teesside University, UK)
Zongyan Qiu (Peking University, China)
S. Ramesh (General Motors India, India)
Alexander Romanovsky (Newcastle University, UK)
Wuwei Shen (Western Michigan University, USA)
Marjan Sirjani (Reykjavik University, Iceland)
Greame Smith (The University of Queensland, Australia)
Jing Sun (University of Auckland, New Zealand)
Jun Sun (Singapore University of Technology and Design, Singapore)
Yih-Kuen Tsay (National Taiwan University, Taiwan)
Viktor Vafeiadis (MPI-SWS, Germany)
Hai H. Wang (Aston University, UK)
Ji Wang (National University of Defense Technology, China)
Wang Yi (Uppsala University, Sweden)
Jian Zhang (Chinese Academy of Sciences, China)
Huibiao Zhu (East China Normal University, China)