ASCM 2012

ECOND CALL FOR PAPERS ASCM 2012 The Tenth Asian Symposium on Computer Mathematics


Jul 31, 0201

The Tenth Asian Symposium on Computer Mathematics
Beijing, China, October 26th-28th, 2012

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. Further information on previous ASCM symposia may be found at

ASCM 2012 is the tenth in the series. This conference features three invited talks by the following speakers:
Erich Kaltofen, North Carolina State University, USA
Markus Pueschel, ETH Zurich, Switzerland
Josef Schicho, RICAM, Austrian Academy of Sciences, Austria

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). Papers should be written in English and the main text font not smaller than 10 pt. Authors are expected to submit their extended abstracts or full papers electronically through EasyChair system:

or to .

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.

Jul. 31, 2012 Deadline for paper submission
Sep. 10, 2012 Notification of paper acceptance
Oct. 26-28, 2012 Conference dates

Topics of interests 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)

General Chair:
Ziming Li (Chinese Academy of Sciences, China)

Program Committee:
Shaoshi Chen (North Carolina State University, USA)
Howard Cheng (University of Lethbridge, Canada)
Ruyong Feng (Chinese Academy of Sciences, China), Co-chair
Hoon Hong (North Carolina State University, USA)
Wen-shin Lee (University of Antwerp, Belgium), Co-chair
Kosaku Nagasaka (Kobe University, Japan)
Chau Ngo (Quy Nhon University, Vietnam)
Tateaki Sasaki (University of Tsukuba, Japan)
Yosuke Sato (Tokyo University of Science, Japan)
Luu Ba Thang (Hanoi National University of Education, Vietnam)
Irem Yaman (Gebze Institute of Technology, Turkey)
Zhengfeng Yang (East China Normal University, China)
Chee K. Yap (New York University, USA)
Jian Zhang (Chinese Academy of Sciences, China)
Zhifang Zhang (Chinese Academy of Sciences, China)

Local Arrangements:
Jinsan Cheng (Chinese Academy of Sciences, China)
Lei Huang (Chinese Academy of Sciences, China)
Chunming Yuan (Chinese Academy of Sciences, China), Chair
Daizhen Zhou (Chinese Academy of Sciences, China)

You may leave the SIGSAM-FRIENDS list at any time by sending a “SIGNOFF SIGSAM-FRIENDS” command to LISTSERV@LISTSERV.ACM.ORG or by visiting

Some Tags: mathematics, computer mathematics, Conference, Engineering, modeling, formalization, Command, Information, control, algebra

Leave a Reply




You can use these HTML tags

<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>