Notices: The deadline of poster submision has been extended to September 30, 2010. Details can be found at Call For Presentations .


Sponsored by

Academy of Mathematics and Systems Science, CAS

Chinese Society of Computer Mathematics

Institute of Systems Science, CAS

Key Lab of Mathematics Mechanization, CAS

National Natural Science Foundation of China