Conference Overview

 

The Asian Symposium on Computer Mathematics (ASCM) is a series of conferences which serves as a forum for participants to present original research, learn of research progress and developments, and exchange ideas and views on doing mathematics using computers. ASCM 2012 is the tenth in the series and will be held in Beijing.

Important Dates

• Jun. 15, 2012, Deadline for special session proposals
• Jul. 31, 2012 Aug. 15, Deadline for paper submission
• Sep. 10, 2012 Sep. 20, Notification of paper acceptance
• Sep. 30, 2012 Deadline for the Conference registration
• Oct. 26-28, 2012 Conference dates

Conference Topics

Specific topics for the symposium include but are not limited to:

• Symbolic, algebraic, and geometric computation
• Automated mathematical reasoning and interactive theorem proving
• Computer-aided problem solving and instruction
• Computational methods for differential and difference equations
• Hybrid symbolic-numeric computation
• Computational algebra and geometry
• Formalization of mathematics
• Computational number theory, cryptography, and combinatorics
• Mathematical software design and implementation
• Parallel/distributed/network computing
• System design, control theory, and hybrid systems
• Mathematical modeling of biological and related systems
• Scientific and engineering applications including CAGD/CAD, geometric modeling, numerical control, robotics, and vision

Previous Meetings

The previous ASCM meetings were held in Beijing, China (1995), Kobe, Japan (1996), Lanzhou, China (1998), Chiang Mai, Thailand (2000), Matsuyama, Japan (2001) , Beijing, China (2003), Seoul,Korea (2005), Singapore (2007) and Fukuoka, Japan (2009). Further information on previous ASCM symposia may be found at http://www.mmrc.iss.ac.cn/ascm.