STEERING COMMITTEE:
  • E. Allen Emerson (University of Texas at Austin)
  • Oscar H. Ibarra (University of California at Santa Barbara)
  • Insup Lee (University of Pennsylvania)
  • Doron A. Peled (University of Warwick)
  • Farn Wang (National Taiwan University)
  • Hsu-Chun Yen (National Taiwan University)
    GENERAL CHAIR:
    Huimin Lin (Chinese Academy of Sciences)
    PROGRAM CO-CHAIRS:
  • Susanne Graf (VERIMAG)
  • Wenhui Zhang (Chinese Academy of Sciences)
    PROGRAM COMMITTEE:
  • Rajeev Alur (University of Pennsylvania)
  • Christel Baier (University of Bonn)
  • Jonathan Billington (University of South Australia)
  • Sung-Deok Cha (Korea Advanced Inst. of Sci. and Techn.)
  • Shing-Chi Cheung (Hong Kong Univ. of Sci. and Techn.)
  • Ching-Tsun Chou (Intel)
  • Jin Song Dong (National University of Singapore)
  • E. Allen Emerson (University of Texas at Austin)
  • Masahiro Fujita (University of Tokyo)
  • Susanne Graf (VERIMAG)
  • Wolfgang Grieskamp (Microsoft research)
  • Teruo Higashino (Osaka University)
  • Pei-Hsin Ho (Synopsys)
  • Oscar H. Ibarra (University of California at Santa Barbara)
  • Orna Kupferman (Hebrew University)
  • Robert P. Kurshan (Cadence)
  • Insup Lee (University of Pennsylvania)
  • Xuandong Li (Nanjing University)
  • Shaoying Liu (Hosei University)
  • Zhiming Liu (IIST/United Nations University)
  • Mila E. Majster-Cederbaum (University of Mannheim)
  • Olaf Owe (University of Oslo)
  • Doron A. Peled (University of Warwick)
  • Zhong Shao (Yale University)
  • Xiaoyu Song (Portland State University)
  • Yih-Kuen Tsay (National Taiwan University)
  • Irek Ulidowski (Leicester University)
  • Bow-Yaw Wang (Academia Sinica)
  • Farn Wang (National Taiwan University)
  • Ji Wang (National U. of Techn. of China)
  • Yi Wang (Uppsala University)
  • Baowen Xu (Southeast University of China)
  • Hsu-Chun Yen (National Taiwan University)
  • Tomohiro Yoneda (Tokyo Institute of Technology)
  • Wenhui Zhang (Chinese Academy of Sciences)
  • Lenore Zuck (University of Illinois at Chicago)
    LOCAL ARRANGEMENT CHAIR:
    Naijun Zhan (Chinese Academy of Sciences)