ASCM2007 Committee

Organizing Committee

Conference Chairs
Eng-Wee Chionh	National University of Singapore, Singapore
Wang Huaxiong	Nanyang Technological University, Singapore
Program Committee Chair
Deepak Kapur	Department of Computer Science The University of New Mexico Albuquerque, NM, USA 87131 Email: Deepak Kapur
Program Committee Members
Manindra Agarwal	IIT, Kanpur, India
Leonid Bokut	Sobolev Insitute, Novosibirsk, Russia
Shang-Ching Chou	Wichita State, US
Falai Chen	University of Science and Technology, Hefei, China
Guoting Chen	Univ. of Lille I, France
Eng-Wee Chionh	NUS, Singapore
Andreas Dolzmann	Univ. Passau, Germany
Ding-Zhu Du	University of Texas at Dallas, USA
Xiao-Shan Gao	Insitute of System Science, Beijing, China
Shuhong Gao	Clemson, US
Keith Geddes	Waterloo, Canada
Vladimir Gerdt	Dubna, Russia
Hoon Hong	North Carolina State, US
Jieh Hsiang	National Taiwan University, Taiwan
Tetsuo Ida	Tsukuba, Japan
Seok-Jin Kang	Seoul National Univ., Korea
Deepak Kapur	Univ. of New Mexico, USA
Yonggu Kim	Chonnam National Univ., Korea
Wen-shin Lee	Antwerp, Belgium
Ziming Li	Academy of Mathematics and System Sciences, Beijing, China
Miroslaw Majewski	New York Institute of Technology, College of Arts and Sciences, CERT Technology Park, P. O. Box 5464, Abu Dhabi, United Arab Emirates
Matu-Tarow Noda	Ehime Campus Information Services, Japan
Tobias Nipkow	Technical Univ. of Munich, Germany
Hoang Xuan Phu	Academy of Science and Technology, Vietnam
Raja Natarajan	TIFR, India
Meera Sitharam	University of Florida, US
Lim Yohanes Stefanus	University of Indonesia, Indonesia
Nobuki Takayama	Kobe Univ., Japan
Toby Walsh	National ICT, Australia
Dongming Wang	Beihang University, Beijing, China, and CNRS, Paris
Chaoping Xing	NUS, Singapore
Lu Yang	Chengdu Institute of Computer Applications, China
Kazuhiro Yokoyama	Rikkyo Univ., Japan
Jianmin Zheng	NTU, Singapore

Publicity

Dingkang Wang, Chinese Academy of Sciences

Email: dwang@mmrc.iss.ac.cn