[Dates]
[Conference topics]
[Program Committee]
[Paper Format and Submission]
[Best Student Award]
Dates
- Deadline for Submissions (extended): January 14, 2002
- Notification of Acceptance (extended): March 7, 2002
- Camera-ready copy received: March 22, 2002
Conference topics
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.
Program Committee
Jacques Calmet | Rob Corless |
Erich Kaltofen | Daniel Lazard |
Teo Mora (Proceedings Editor) | Fran\c{c}ois Ollivier |
Luis Miguel Pardo (Chair) | Bruno Salvy |
Michael Singer | Mike Stillman |
Mark Van Hoeij | Gilles Villard |
Stephen Watt | Volker Weispfenning |
Jean-Claude Yakoubsohn |
Paper Format and Submission
Authors are invited to submit papers to
the program committee chair before January 7, 2002.
The submission procedure is detailed
here.
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
Formatting requirements will be based on the ACM Proceedings
Templates. For instance in LaTeX2e you should use the
acm_proc_article-sp.cls document class file to format your document.
For additional information, see the
ACM Proceedings
Templates.
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
This award will be given to the best student author. An author is
eligible if full-time student at the time of submission, this should
be indicated.
Last modified on Fri Jul 5 11:46:51 MET DST 2002