ALL FOR POSTERS ISSAC-2004 International Symposium on Symbolic and Algebraic Computation University of Cantabria, Santander, Spain http://www.risc.uni-linz.ac.at/issac2004 ********************************************************************* ISSAC, the International Symposium on Symbolic and Algebraic Computation is an annual gathering of the Symbolic Mathematical Computation community. ISSAC 2004 is scheduled for July 4 - 7, 2004 at the University of Cantabria, Santander, Spain. The Program Committee received over 130 research paper submissions. ISSAC 2004 is expected to be very well attended. Planned conference activities include invited presentations, research and survey papers, poster sessions, tutorial courses, vendor exhibits, and software demonstrations. Proceedings, as well as abstracts of all posters, will be distributed at the conference. The Poster Sessions are an ideal venue for presenting recent research results or ongoing research projects that might not yet be complete, but whose preliminary results are already interesting nonetheless. Especially welcome are posters describing implementations of algorithms, computer algebra systems, and applications in education, science and industry. To encourage poster submissions of good quality, a best poster prize, consisting of a certificate, will be awarded. Posters will be judged based on content and presentation. Important Dates --------------- *Deadline for abstract submission: May 10, 2004 *Notification of Acceptance: May 28, 2004 Submission Guidelines --------------------- Authors are invited to submit electronically an abstract of no more than 900 words to Ziming Li (zmli@mmrc.iss.ac.cn) describing the contents of the poster. Plain TeX or LaTeX is preferred, but plain text is also acceptable. Abstracts of final versions of accepted posters will be distributed at the conference, and appear in the Bulletin of the Special Interest Group on Symbolic & Algebraic Manipulation (SIGSAM), ACM. All accepted posters will be archived for public download at the web site of SIGSAM. 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. Poster Committee ---------------- Howard Cheng (University of Lethbridge, Canada) Claude-Pierre Jeannerod (INRIA LIP-ENS Lyon, France) Ilias Kotsireas (Wilfrid Laurier University, Canada) Ha Le (INRIA Rocquencourt, France) Wen-shin Lee (INRIA Sophia-Antipolis, France) Ziming Li (chair) (Chinese Academy of Sciences, China) We apologize for multiple copies. ===================================================================== Please send all the comments to the appropriate contact: issac2004@risc.uni-linz.ac.at |