AISC 2006 Registered Participants

Xiaoyu Chen Beihang University China
Arjeh M. Cohen Technical University of Eindhoven The Netherlands
Khalil Djelloul University of Ulm Germany
Guoshun Hao Beihang University China
Thérèse Hardin University Pierre and Marie Curie France
Heisuke Hironaka Kyoto University and Harvard University Japan and USA
Tetsuo Ida University of Tsukuba Japan
David Jeffrey University of Western Ontario Canada
Meng Jin Beihang University China
Michael Kohlhase International University Bremen Germany
Liyun Li Beihang University China
Wei Li Beihang University China
Xiaoliang Li Beihang University China
Yongbin Li Chinese Academy of Sciences China
Tielin Liang University of Science and Technology of China China
Ye Liang Beihang University China
Sheng Liu Chinese Academy of Sciences China
Jie Luo Beihang University China
Tian Luo Beihang University China
Zhaohui Luo University of London UK
Li Ma Beihang University China
Shilong Ma Beihang University China
Günther Mayrhofer University of Linz Austria
William McCune Argonne National Laboratory USA
Aart Middeldorp University of Innsbruck Austria
Moritz Minzlaff Univesity of Karlsruhe Germany
Ichiro Mitsuhashi Mie University Japan
Tetsuya Mizutani University of Tsukuba Japan
Wei Niu Beihang University China
Immanuel Normann International University Bremen Germany
Michio Oyamaguchi Mie University Japan
Masahiko Sato Kyoto University Japan
René Pierre Schott University Henri Poincaré France
Ying Shao Beihang University China
Zhikun She Max-Planck-Institut für Informatik Germany
Ekaterina Shemyakova University of Linz Austria
Weikun Sun Tianjin University of Technology and Education China
Yongli Sun Beijing University of Chemical Technology China
Dongming Wang Beihang University and UPMC-CNRS China and France
Wen-tsün Wu Chinese Academy of Sciences China
Bican Xia Peking University China
Jian Zhang Chinese Academy of Sciences China
Wenting Zhang Beihang University China
Ting Zhao Beihang University China
Wenqin Zhou University of Western Ontario Canada