First Announcement and Call for Papers
 
The Eighth Asian Symposium on Computer Mathematics (ASCM 2007)
Grand Plaza Park Hotel City Hall, Singapore, Dec. 15-17, 2007
-----------------------------------------------------------------
 
The Asian Symposia on Computer Mathematics (ASCM) are a series of
conferences which offer a forum for participants to present
original research, to learn of research progress and new
developments, and to exchange ideas and views on doing mathematics
using computers.  ASCM 2007 will consist of invited talks, regular
sessions of contributed papers, and software demonstrations. The
webpage of ASCM 2007 can be found at http://www.comp.nus.edu.sg/~ascm2007/.
 
ASCM 2007 is the eighth in the series.  The previous symposia ASCM
1995, 1996, 1998, 2000, 2001, 2003, 2005 in this series were held in
Beijing (China), Kobe (Japan), Lanzhou (China), Chiang Mai
(Thailand), Matsuyama (Japan), Beijing (China), and Seoul (Korea),
respectively.  Further information on previous ASCM symposia may be
found at http://www.mmrc.iss.ac.cn/ascm.

CALL FOR PAPERS
 
Research papers on all aspects of the interaction between computers
and mathematics are solicited for the symposium.  Specific topics
include but are not limited to:
 
   *  Computer-aided problem solving and instruction
   *  Symbolic, algebraic, and geometric computation
   *  Computational number theory, cryptography, and combinatorics
   *  Automated mathematical reasoning and interactive theorem proving
   *  Symbolic/numeric hybrid methods
   *  Computational algebra and geometry
   *  Formalization of mathematics
   *  Computational methods for differential and difference equations
   *  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, robotics, and vision)

Papers should be written in English, in single column, not exceeding
15 pages, and the main text font not smaller than 10 pt. Authors are
expected to submit their papers electronically (in .doc or
.pdf format). See submission instructions from the conference
webpage: http://www.comp.nus.edu.sg/~ascm2007/A_Instructions.htm.
The first page of each paper should contain its title, author(s)
with affiliation(s) and e-mail address(es), and an abstract. 

All submitted papers will undergo a standard review process and the
selection of papers by the program committee will be based on their
originality and significance of contribution, their relevance to the scope
of the conference as well as their presentation.
A pre-symposium proceedings will be available at the conference in
electronic form. A post-symposium proceedings is planned. The
selected papers will be published as a volume in the Springer LNCS/LNAI series
after the conference.
 
IMPORTANT DATES:
Aug 31, 2007: Deadline for Paper Submission
Oct 31, 2007:  Notification to Authors
Nov 7, 2007:  Deadline for Early Online Registration
Dec 1, 2007:  Deadline for Camera Ready Upload
Dec 15-17, 2007:  Conference Dates

ORGANIZATION
 
Conference Chairs:

 Wang Huaxiong  (Nanyang Technological University, Singapore)
 Xing Chaoping  (National University of Singapore, Singapore)

Program Committee:

Chair:

  Deepak Kapur
  Department of Computer Science
  The University of New Mexico
  Albuquerque, NM, USA 87131
  kapur@cs.unm.edu
 
Members:

Manindra Agarwal (IIT, Kanpur, India)
Leonid Bokut (Sobolev Institute, Novosibirsk, Russia)
John Cannon (Univ. of Sydney, Australia)
Shang-Ching Chou (Wichita State Univ., US)
Falai Chen (Univ. of Science and Technology, Hefei, China)
Guoting Chen (Univ. of Lille I, France)
Eng-Wee Chionh (National Univ. of Singapore, Singapore)
Andreas Dolzmann (Univ. Passau, Germany)
Ding-Zhu Du (Univ. of Texas at Dallas, USA)
Xiao-Shan Gao (Chinese Academy of Sciences, Beijing, China)
Shuhong Gao (Clemson Univ., US)
Keith Geddes (Univ. of Waterloo, Canada)
Vladimir Gerdt (Joint Institute of Nuclear Research, Dubna, Russia)
Hoon Hong (North Carolina State Univ., US)
Jieh Hsiang (National Taiwan Univ., Taiwan)
Tetsuo Ida (Univ. of Tsukuba, Japan)
Seok-Jin Kang (Seoul National Univ., Korea)
Deepak Kapur (Univ. of New Mexico, USA)
Yonggu Kim (Chonnam National Univ., Korea)
Wen-shin Lee (Univ. of Antwerp, Belgium)
Ziming Li (Chinese Academy of Sciences, Beijing, China)
Miroslaw Majewski (Zayed Univ., Abu Dhabi, UAE)
Raja Natarajan (TIFR, India)
Matu-Tarow Noda (Ehime Univ., Japan)
Tobias Nipkow (Technical Univ. of Munich, Germany)
Hoang Xuan Phu (Vietnamese Academy of Science and Technology, Vietnam)
Meera Sitharam (Univ. of Florida, US)
Lim Yohanes Stefanus (Univ. of Indonesia, Indonesia)
Nobuki Takayama (Kobe Univ., Japan)
Toby Walsh (National ICT, Australia)
Dongming Wang (Beihang Univ., Beijing, China, and UPMC-CNRS, Paris)
Chaoping Xing (National Univ. of Singapore, Singapore)
Lu Yang (Chinese Academy of Sciences, China)
Kazuhiro Yokoyama (Rikkyo Univ., Japan)
Jianmin Zheng (Nanyang Technological Univ., Singapore)