Steering Committee:
E. Allen Emerson	University of Texas at Austin, USA
Oscar H. Ibarra	University of California, Santa Barbara, USA
Insup Lee	University of Pennsylvania, USA
Doron A. Peled	University of Warwick, UK
Farn Wang	National Taiwan University, Taiwan
Hsu-Chun Yen	National Taiwan University, Taiwan

 

General Chair:
Insup Lee	University of Pennsylvania, USA

Program Co-Chairs:
Doron A. Peled	University of Warwick, UK
Yih-Kuen Tsay	National Taiwan University, Taiwan

Local Arrangement Co-Chairs:
Chung-Yang Huang	National Taiwan University, Taiwan
Bow-Yaw Wang	Academia Sinica, Taiwan

 

Program Committee:
Parosh A. Abdulla	Uppsala University, Sweden
Rajeev Alur	University of Pennsylvania, USA
Christel Baier	University of Bonn, Germany
Tevfik Bultan	University of California, Santa Barbara, USA
Yung-Pin Cheng	National Taiwan Normal University, Taiwan
Ching-Tsun Chou	Intel, USA
Jin Song Dong	National University of Singapore, Singapore
Susanne Graf	VERIMAG, France
Teruo Higashino	Osaka University, Japan
Pei-Hsin Ho	Synopsys, USA
Gerard J. Holzmann	NASA/JPL, USA
Pao-Ann Hsiung	National Chung Cheng University, Taiwan
Chung-Yang Huang	National Taiwan University, Taiwan
Oscar H. Ibarra	University of California, Santa Barbara, USA
Bengt Jonsson	Uppsala University, Sweden
Orna Kupferman	Hebrew University, Israel
Robert P. Kurshan	Cadence, USA
Shaoying Liu	Hosei University, Japan
Doron A. Peled	University of Warwick, UK, co-chair
Scott Smolka	SUNY, Stony Brook, USA
Yih-Kuen Tsay	National Taiwan University, Taiwan, co-chair
Moshe Y. Vardi	Rice University, USA
Bow-Yaw Wang	Academia Sinica, Taiwan
Hsu-Chun Yen	National Taiwan University, Taiwan
Tomohiro Yoneda	Tokyo Institute of Technology, Japan
Lenore Zuck	University of Chicago, USA