Homepage Committees Other Issac Other conferences Call for papers Call for posters Call for demos Accepted papers, posters & demos Tutorials Advanced program Related events Participants Travel Information Tourist Information Registration Accommodation

• Deadline for Submissions (extended): January 14, 2002
• Notification of Acceptance (extended): March 7, 2002
• Camera-ready copy received: March 22, 2002

Topics of the meeting include, but are not limited to:

• Algorithmic mathematics. Algebraic, symbolic and symbolic-numeric algorithms. Simplification, function manipulation, equations, summation, integration, ODE/PDE, linear algebra, number theory, group and geometric computing.

• Computer Science. Theoretical and practical problems in symbolic computation. Systems, problem solving environments, user interfaces, softwares, libraries, parallel/distributed computing and programming languages for symbolic computation, concrete analysis, benchmarking, theoretical and practical complexity of computer algebra algorithms, automatic differentiation, code generation, mathematical data structures and exchange protocols.

• Applications. Problem treatments using algebraic, symbolic or symbolic-numeric computation in an essential or a novel way. Engineering, economics and finance, physical and biological sciences, computer science, logic, mathematics, statistics, education.

Original research results and insightful analyses of current concerns are solicited for submission. Submissions must not substantially duplicate work published or submitted for publication elsewhere. Late submissions will be rejected.

Survey articles may be suitable for submission if identified as such, they will be considered in a separate category from the research papers. Papers will be reviewed by a program committee and additional referees. Proceedings will be distributed at the symposium.

Papers must be in English and should not exceed 8 pages in the standard format for ACM proceedings, or 20 to 22 pages of text in LaTeX 12pt article style. Each paper should have an introductory section that:

• Describes the problem
• Motivates the study of the problem
• States the main results and compares them to other work (including theoretical or empirical performance)
• Summarizes the original contribution

Authors of accepted papers are expected to present their work at the symposium and will be required to sign the ACM copyright agreement. Some papers may be accepted for poster-session presentation; these will not appear in the proceedings. Abstracts of all posters will be distributed at the symposium. For poster submissions please consult the Call for Posters.

Best Student Award