|
CALL FOR PAPERS
======================================================================
ISSAC 2003
International Symposium on Symbolic and Algebraic Computation
Drexel University, Philadelphia, PA, USA, August 3-6, 2003
http://www.drexel.edu/issac2003/
======================================================================
ISSAC is the yearly premier international symposium in Symbolic and
Algebraic Computation. It provides an opportunity to learn of new
developments and to present original research results in all areas of
symbolic mathematical computation. Planned activities include invited
presentations, research and survey papers, poster sessions, tutorial
courses, vendor exhibits and software demonstrations.
ISSAC 2003 will be held at Drexel University in Philadelphia,
Pennsylvania, USA, from August 3 to 6, 2003.
Important Dates
---------------
- Deadline for Submissions: January 13, 2003
- Notification of Acceptance: March 25, 2003
- Camera-ready copy received: April 14, 2003
ISSAC Organization
------------------
General Chair Hoon Hong (USA)
Program Committee Manuel Bronstein (France) Chair
John Abbott (Italy)
Jose Cano (Spain)
David Cox (USA)
Alicia Dickenstein (Argentina)
Richard Fateman (USA)
Xiao-Shan Gao (China)
Karin Gatermann (Germany)
Mark Giesbrecht (Canada)
Laureano Gonzalez-Vega (Spain)
Jieh Hsiang (Taiwan)
Evelyne Hubert (France)
Tetsuo Ida (Japan)
Tudor Jebelean (Austria)
Steve Linton (Scotland)
Scott McCallum (Australia)
Marko Petkovsek (Slovenia)
Poster Committee Olga Caprotti (Austria) Chair
Willem De Graaf (Netherlands)
Lihong Zhi (China)
Tutorials Josef Schicho (Austria)
Proceedings Rafael Sendra (Spain)
Local Arrangement Werner Krandick (USA) Chair
Bruce Char (USA)
Jeremy Johnson (USA)
Treasurer Chris Brown (USA)
Fund Raising David Saunders (USA)
Registration George Nakos (USA)
Publicity Manfred Minimair (USA)
Web William Turner (USA)
Exhibits Agnes Szanto (USA)
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,
software, 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.
Instructions to Authors
-----------------------
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 clearly 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.
Electronic submission is encouraged. To submit, send your paper in
either PDF, DVI or PostScript format to
issac2003-submit@sophia.inria.fr
indicating in the subject line the format and the compression command
used, if any. If you cannot submit by e-mail, send one copy of your
paper by regular mail to:
Manuel Bronstein
INRIA - Projet CAFE
2004 route des Lucioles - B.P. 93
06902 Sophia Antipolis Cedex, France.
Each paper should have an abstract as well as 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 aspects of the 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 to format your document.
For information concerning ACM Proceedings Templates see
http://www.acm.org/sigs/pubs/proceed/template.html
Authors of accepted papers are expected to present their work at the
symposium, or make arrangements to have it presented, and will be
required to sign the ACM copyright agreement
(cf. http://www.acm.org/pubs/copyright_form.html).
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.
Notification and final version
------------------------------
Authors will be sent notification of acceptance or rejection by e-mail
on or before March 25, 2003. A final copy of each accepted paper will
be required by April 14, 2003. 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 to format your document.
Best student author award
-------------------------
This award will be given to the best student author. An author is
eligible if full-time student at the time of submission, which should
be indicated.
Program Committee
-----------------
John Abbott Xiao-Shan Gao Tetsuo Ida
Manuel Bronstein (Chair) Karin Gatermann Tudor Jebelean
Jose Cano Mark Giesbrecht Steve Linton
David Cox Laureano Gonzalez-Vega Scott McCallum
Alicia Dickenstein Jieh Hsiang Marko Petkovsek
Richard Fateman Evelyne Hubert
------------------------------------------
Send any comments to manfred@minimair.org.
|