===================================================================== The Tenth Asian Symposium on Computer Mathematics October 26th-28th, 2012 Beijing, China http://www.mmrc.iss.ac.cn/ascm/ascm2012=====================================================================The Asian Symposium on Computer Mathematics (ASCM) is a series of conferences which serve 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.
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, Singapore (2007) and Fukuoka, Japan (2009).
Further information on previous ASCM symposia may be found athttp://www.mmrc.iss.ac.cn/ascm.CALL FOR PAPERS---------------The program committee of ASCM 2012 invites submission of papers presenting original research,
either in the form of extended abstract (up to 4 pages) or full paper (up to 20 pages).
Specific topics 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)Papers should be written in English and the main text font notsmaller than 10 pt. Authors are expected to submit their extendedabstracts or full papers electronically through EasyChair system: https://www.easychair.org/conferences/?conf=ascm2012or to email@example.com .All submitted papers will be reviewed by the program committee and the external referees.
A pre-symposium proceedings will be available at the conference in electronic form.
A post-symposium proceedings is planned.
CALL FOR SPECIAL SESSIONS
The program committee of ASCM 2012 invites submission of proposals for special sessions.
A response will be delivered once the session proposal has been evaluated by the program committee.
Due to the limited number of slots, session organizers are encouraged to submit their session proposals
as soon as possible.