The conference is sponsored by:

Academy of Mathematics and Systems Science, CAS
Chinese Society of Computer Mathematics
Institute of Systems Science, CAS
Key Laboratory of Mathematics Mechanization, CAS
National Natural Science Foundation of China
Chinese Association for Artificial Intelligence

The conference is organized by:

Key Laboratory of Mathematics Mechanization