********************************************************************* CALL FOR PAPERS Second Announcement ISSAC-2004 International Symposium on Symbolic and Algebraic Computation University of Cantabria, Santander, Spain http://www.risc.uni-linz.ac.at/issac2004 ********************************************************************* 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 by *Pablo Parrilo, Francisco Santos and Jan Verschelde*, submitted research papers, poster sessions, tutorial courses, vendor exhibits, and software demonstrations. ISSAC 2004 will be held at the University of Cantabria in Santander, Spain, from July 4 to 7, 2004. Paper Submission ---------------- Authors should submit full papers before midnight Eastern Standard Time on 7 January 2004. Papers must describe original, previously unpublished work that has not been simultaneously submitted for publication elsewhere. Students presenting papers of which they are an author will have their registration fee waived. Submission should be done electronically via the web form: https://issac2004.risc.uni-linz.ac.at Important Dates --------------- *Deadline for Submissions: January 7, 2004 *Notification of Acceptance: March 3, 2004 *Camera-ready copy received: April 16, 2004 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. 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 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 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 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 see www.risc.uni-linz.ac.at/issac2004/cfposter.html. Best student author award ------------------------- This award will be given to the best student author. An author who is a Full-time student at the time of submission is eligible for the award. This status should be indicated when the paper is submitted. For details concerning the selection procedure for this award as well as the procedure for the ISSAC Distinguished Paper Award, see www.acm.org/sigsam/ISSAC_Awards.html. Organizing Committee -------------------- General Chair: Josef Schicho SIGSAM Chair: Emil Volcheck Program Committee Chair: Michael Singer Program Committee : Moulay Barkatou Arjeh M. Cohen Shuhong Gao Karin Gatermann Patricia Gianni Serkan Hosten Richard Liska Bernard Mourrain Masayuki Noro Marie-Francoise Roy Bruno Salvy Rafael Sendra Gilles Villard Dongming Wang Stephen Watt Poster Committee: Howard Cheng Claude-Pierre Jeannerod Ilias Kotsireas Ha Le Wen-shin Lee Ziming Li (chair) Tutorials: Thomas Sturm Proceedings Editor: Jaime Gutierrez Local Arrangements: Luis M. Pardo Treasurer: Carsten Schneider Publicity Committee: Tobias Beck Janka Pilnikova Ibolya Szilagyi Web/Online Registration: Gabor Bodnar ===================================================================== Please send all the comments to the appropriate contact: issac2004@risc.uni-linz.ac.at |