ASCM

Regular session:
Potential participants of regular sessions are invited to submit extended abstracts (3-4 pages) or full papers describing their work to be presented at the conference. The submitted extended abstracts and full papers will be reviewed by members of the Program Committee (PC) for soundness and relevance to the conference. Submission of original research papers is encouraged, while published material and work in progress will also be considered for presentation at the conference. 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
* Exact numerical methods and zero bounds
* Foundations of real computation and complexity issues

Organized sessions:
1) Digitizing Mathematics -- From Pen and Paper to Digital Content
Organizers: Volker Sorge and Alan P. Sexton (University of Birmingham, UK)

2) Validated Numerical Computation
Organizer: Mitsuhiro Nakao (Kyushu Univesity, Japan)

3) Computational Algebraic Number Theory
Organizer: Guenael Renault (UPMC, Paris 06, France)

Accepted extended abstracts and full papers will be printed for distribution at the conference. Authors of the extended abstracts and full papers accepted for presentation at the conference will be invited to submit their full and/or revised papers for publication in a volume of Springer Lecture Notes in Artificial Intelligence (LNAI). The submitted papers will be formally reviewed according to the refereeing procedure of LNAI.