Committees

Steering Committee

  • Ana Cavalcanti, University of York (UK)
  • John Fitzgerald, Newcastle University (UK)
  • Martin Leucker, University of Luebeck (DE)
  • Zhiming Liu, Southwest University, (CN)
  • Tobias Nipkow, Technical University Munich (DE)
  • Augusto Sampaio, Federal University of Pernambuco (BR)
  • Natarajan Shankar, SRI International (US)

General Chair

    Viet-Ha Nguyen, Rector of VNU-UET

Program Co-chairs

  • Dang Van Hung (VNU-UET)
  • Deepak Kapur (University of New Mexico)

Program Committee

  • Bernhard K. Aichernig (Austria)
  • Farhad Arbab (Hollands)
  • Ana Cavalcanti (UK)
  • Wei-Ngan Chin (Singapore)
  • Hung Dang-Van (Vietnam, Co-chair)
  • Martin Fränzle (Germany)
  • Marcelo Frias (Argentina)
  • Dimitar P Guelev (Bulgaria)
  • Deepak Kapur (US, Co-chair)
  • Kim Guldstrand Larsen (Denmark)
  • Martin Leucker (Germany)
  • Xuandong Li (China)
  • Xiaoshan Li (Macao)
  • Zhiming Liu (UK)
  • Dominique Mery (France)
  • Mohammadreza Mousavi (Sweden)
  • Thanh-Binh Nguyen (Vietnam)
  • Mizuhito Ogawa (Japan)
  • AugJose Oliveira (Portugal)
  • Catuscia Palamidessi (France)
  • Minh-Dung Phan (Thailand)
  • Sanjiva Prasad (India)
  • Thanh-Tho Quan (Vietnam)
  • António Ravara (Portugal)
  • Augusto Sampaio (Brasil)
  • Emil Sekerinski (Canada)
  • Hiroyuki Seki (Japan)
  • Deepak D’Souza (India)
  • Hoang Truong-Anh (Vietnam)
  • Kazunori Ueda (Japan)
  • Farn Wang (Taiwan)
  • Jim Woodcock (UK)
  • Hsu-Chun Yen (Taiwan)
  • Naijun Zhan (China)
  • Huibiao Zhu (China)
  • Abdullah Mohd Zin (Malaysia)

Organizing Committee

  • Pham Bao Son (Co-chair)
  • Ngoc-Hung Pham (Co-chair)
  • Truong Anh Hoang
  • Vo Dinh Hieu
  • To Van Khanh
  • Dang Duc Hanh
  • Vu Dieu Huong