Parosh Abdulla

Uppsala University, Schweden

Martin Leucker

Technical University of Munich, Germany

Graduate School of Information Science and Electrical Engineering Kyushu University, Japan

Kamal Lodaya

Institute of Mathematical Sciences, India

Farhad Arbab

Leids University, The Netherlands

Larissa Meinicke

Abo Akademi, Finland

Christel Baier

Technical University of Dresden, Germany

Ugo Montanari

University of Pisa, Italian

Mario Bravetti

Universita di Bologna, Italian

Carroll Morgan

University of New South Wales, Australia

Ana Cavalcanti

University of York, England

Ahmed Patel

Universiti Kebangsaan Malaysia, Malaysia

Van Hung Dang

United Nations University-International Institute for Software Technology, Macao

Pekka Pihlajasaari

Data Abstraction (Pty) Ltd

David Deharbe

Federal University of Rio Grande do Norte, Brazil

Abhik Roychoudhury

National University of Singapore, Singapore

Wei Dong

National University of Defense Technology, China

Hassen Saidi

SRI International, USA

Deepak D'Souza

Indian Institute of Science, India

Augusto Sampaio

Universidade Federal de Pernambuco, Brazil

John Fitzgerald

Newcastle Uiversity, England

Cesar Sanchez

Madrid Institute for Advanced Studies in Software Development Technologies, Spain

Wan Fokkink

Vrije University Amsterdam, The Netherlands

Marjan Sirjani

University of Tehran, Iran

Marcelo Frias

University of Buenos Aires,  Argentina

Sofiene Tahar

Concordia University, Canada

Kokichi Futatsugi

Japan Advanced Institute of Science and Technology, Japan

Serdar Tasiran

Koc University, Turkey

Paul Gastin

LSV/ENS Cachan, France

Helmut Veith

Technical University Darmstadt, Germany

Susanne Graf

VERIMAG, France

Mahesh Viswanathan

University of Illinois at Urbana, USA

Lindsay Groves

Victoria University of Wellington, New Zealand

Tomas Vojnar

Brno University of Technology, Czech Republic

Anne Haxthausen

Technical University of Denmark, Denmark

Ji Wang

Ningbo University, Ningbo, Zhejiang, China

Moonzoo Kim

KAIST, South Korea

Jim Woodcock

University of York, England

Kim G. Larsen

Aalborg University, Denmark

Husnu Yenigun

Sabanci University, Turkey

Insup Lee

University of Pennsylvania, USA

Naijun Zhan

Chinese Academy of Sciences, China

Huibiao Zhu