### 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