Organizing and Program Committees

Honorary Chair
Wei Li (President of Beihang University, China)

General Chair
Dongming Wang (Beihang University, China and UPMC-CNRS, France)

Program Committee
Tetsuo Ida (University of Tsukuba, Japan), Chair
Luigia Carlucci Aiello (Università di Roma "La Sapienza", Italy)
Michael Beeson (San Jose State University, USA)
Bruno Buchberger (RISC, Austria)
Jacques Calmet (University of Karlsruhe, Germany)
John Campbell (University College London, UK)
William M. Farmer (McMaster University, Canada)
Martin Charles Golumbic (University of Haifa, Israel)
Thérèse Hardin (Université Pierre et Marie Curie - LIP6, France)
Hoon Hong (North Carolina State University, USA)
Joxan Jaffar (National University of Singapore, Singapore)
Deepak Kapur (University of New Mexico, USA)
Michael Kohlhase (International University Bremen, Germany)
Steve Linton (University of St Andrews, UK)
Salvador Lucas (Technical University of Valencia, Spain)
Aart Middeldorp (University of Innsbruck, Austria)
Eric Monfroy (UTFSM, Chile and LINA, France)
Jochen Pfalzgraf (University of Salzburg, Austria)
Zbigniew W. Ras (University of North Carolina, Charlotte, USA)
Eugenio Roanes-Lozano (Universidad Complutense de Madrid, Spain)
Masahiko Sato (Kyoto University, Japan)
Carsten Schürmann (Yale University, USA)
Jörg Siekmann (Universität des Saarlandes, DFKI, Germany)
Carolyn Talcott (SRI International, USA)
Dongming Wang (Beihang University, China and UPMC-CNRS, France)
Stephen M. Watt (University of Western Ontario, Canada)
Jian Zhang (Chinese Academy of Sciences, China)

Proceedings Editors
Jacques Calmet, Tetsuo Ida and Dongming Wang

Local Arrangements
Shilong Ma (Beihang University, China), Chair
Xiaoyu Chen (Beihang University, China)
Li Ma (Beihang University, China)