AISC 2006
8th International Conference on
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION
Beihang University, Beijing, China     September 20-22, 2006
www.cc4cm.org/aisc2006/       cm.buaa.edu.cn/aisc2006/

Invited Speakers

Arjeh M. Cohen (Technical University of Eindhoven, The Netherlands)
Heisuke Hironaka (Professor Emeritus of Kyoto University, Japan and Harvard University, USA)
William McCune (Argonne National Laboratory, USA)
Wen-tsün Wu (Chinese Academy of Sciences, China)