ForICM 2024 - Forum for Intelligent Computer Mathematics

Beijing, China · October 12-13, 2024

Announcement | Program | Photograph

Welcome

The Forum for Intelligent Computer Mathematics (ForICM 2024) aims to bring together experts and dedicated researchers in the field of computer mathematics, in particular those engaged in symbolic computation and automated reasoning, to review the latest developments and current trends of research and to examine the state of the art on the interaction and the impact of modern methodologies and techniques of machine-learning-driven artificial intelligence with/on classical computer mathematics. It will also serve to highlight the intelligent aspect of computer mathematics and provide an opportunity for participants to exchange new ideas and findings and present recent work, fostering fruitful research collaborations.

Specific topics for the forum include, but are not limited to:

Mechanization theory, algorithms, and applications in mathematics
Symbolic computation, and the hybridization of symbolic and numerical computation
Mathematical foundations of artificial intelligence, automated reasoning, and machine proofing
Applications of computer mathematics in information security, program verification, robotics, and numerical control systems
Mathematical methods in high-tech fields such as computer graphics, image processing, and pattern recognition
Intelligent mathematical software that utilizes AI techniques

Plenary Speakers

Xiao-Shan Gao (AMSS, Chinese Academy of Sciences, China)
Hoon Hong (North Carolina State University, USA)
Naijun Zhan (Peking University, China)

Session Speakers

Xiaohong Jia (AMSS, Chinese Academy of Sciences, China)
Dongchen Jiang (Beijing Forestry University, China)
Ruijuan Jing (Jiangsu University, China)
Tuo Leng (Shanghai University, China)
Haokun Li (Huawei Technologies Co., Ltd, China)
Nan Li (Shenzhen University, China)
Changpeng Shao (AMSS, Chinese Academy of Sciences, China)
Liyong Shen (University of Chinese Academy of Sciences, China)
Wenyuan Wu (CIGIT, Chinese Academy of Sciences, China)
Tao Zheng (Xi'an University of Electronic Science and Technology, China)

Scientific Committee

Xiao-Shan Gao (AMSS, Chinese Academy of Sciences, China)
Dongming Wang (Beihang University, China and CNRS, France)
Bican Xia (Peking University, China)
Lihong Zhi (AMSS, Chinese Academy of Sciences, China)

Organizing Committee

Bo Huang (Beihang University, China)
Bican Xia (Peking University, China)
Jing Yang (Guangxi Minzu University, China)
Lihong Zhi (AMSS, Chinese Academy of Sciences, China)

Local Arrangements

Zijia Li (AMSS, Chinese Academy of Sciences, China)
Chenqi Mou (Beihang University, China)
Xiaoxian Tang (Beihang University, China)

Registration Fees

There is no registration fee for this symposium. Expenses on accommodation, transportation, and meals are borne by the participants themselves.

Local Information

Conference Venue

Room D215, New Main Building, Beihang University

Hotel Information

Vision Hotel
Address: 39 Xueyuan Road, Haidian District, Beijing 100191, China
Tel: (8610) 62308899

唯实国际文化交流中心
地址：中国北京市海淀区学院路39号
邮编：100191
电话：(8610) 62308899

Traveling

It takes about one hour to get to Beihang University from the airport by taxi. You are advised to keep the receipt which could help you find the driver when necessary.

Hosted by

School of Mathematical Sciences and School of Artificial Intelligence, Beihang University - MOE Key Laboratory of Mathematics, Informatics and Behavioral Semantics - Beijing Advanced Innovation Center for Future Blockchain and Privacy Computing

Co-organized by

Academy of Mathematics and Systems Science - Peking University - Guangxi Minzu University

Previous Seminars

Differential Equations with Symbolic Computation (Beijing, China, September 16-17, 2023), with a special issue of Mathematics in Computer Science
International Seminar on Solving Equations (Nanning, China, July 12-13, 2019)
Differential, Difference, and Algebraic Systems with Application (Nanning, China, January 29-31, 2018)
Geometric Computation (Nanning, China, February 2-4, 2015), with a special issue of Mathematics in Computer Science
Program Verification, Automated Debugging and Symbolic Computation (Beijing, China, October 23-25, 2013), with a special issue of Journal of Symbolic Computation
Program Verification, Automated Debugging and Symbolic Computation (Beijing, China, October 10-12, 2012)
Symbolic Real Algebra and Trustworthy Computing (Shanghai, China, April 3-5, 2008)
Symbolic Computation in Education (Beijing, China, April 12-14, 2006), with a book published by World Scientific
Differential Equations with Symbolic Computation (Beijing, China, April 14-16, 2004), with a book published by Birkhauser
Geometric Computation (Hefei, China, April 24-26, 2002), with a book published by World Scientific