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 |