posted by system || 3475 views || tracked by 10 users: [display]

ISSAC 2010 : 35th International Symposium on Symbolic and Algebraic Computation


Conference Series : International Symposium on Symbolic and Algebraic Computation
When Jul 25, 2010 - Jul 28, 2010
Where Munich, Germany
Abstract Registration Due Jan 14, 2010
Submission Deadline Jan 21, 2010
Notification Due Apr 8, 2010
Final Version Due May 6, 2010
Categories    algebra   algorithms

Call For Papers

The International Symposium on Symbolic and Algebraic Computation is the premier conference for research in symbolic computation and computer algebra. ISSAC 2010 is the 35th meeting in the series. The conference traditionally presents a range of invited speakers, tutorials, poster sessions and vendor exhibits with a centre-piece of contributed research papers. ISSAC 2010 will be hosted by the Technische Universit√§t M√ľnchen.

ISSAC 2010 invites the submission of original research contributions to be considered for publication and presentation at the conference. All areas of computer algebra and symbolic mathematical computation are of interest. These include, but are not limited to:

* Algorithmic aspects:
o Exact and symbolic linear, polynomial and differential algebra.
o Symbolic-numeric, homotopy, perturbation and series methods.
o Computational geometry, group theory and number theory.
o Summation, recurrence equations, integration, solution of ODE & PDE.
o Symbolic methods in other areas of pure and applied mathematics.
o Theoretical and practical aspects, including general algorithms, techniques for important special cases, complexity analyses of algebraic algorithms and algebraic complexity.
* Software aspects:
o Design of packages and systems.
o Data representation.
o Software analysis.
o Considerations for modern hardware, e.g., current memory and storage technologies, high performance systems and mobile devices.
o User interface issues, including collaborative computing and new methods for input and manipulation.
o Interfaces and use with systems for, e.g., document processing, digital libraries, courseware, simulation and optimization, automated theorem proving, computer aided design and automatic differentiation.
* Application aspects:
o Applications that stretch the current limits of computer algebra algorithms or systems, use computer algebra in new areas or new ways or apply it in situations with broad impact.

Submission Instructions

Papers must present original research and not duplicate work published or submitted for consideration elsewhere. Papers must be in English and should not exceed 8 pages in the ACM sig-alternate.cls style, found at Abstracts should be submitted by the abstract submission date. Authors may choose to submit the full paper with the abstract, or later, up to the full paper deadline. Submission is via EasyChair, at the web site Papers will be reviewed by the Program Committee and external referees. Authors will have an opportunity to respond to reviews before the acceptance decisions are made. At least one author of each accepted paper must register for the conference and present the paper.

Important Dates

Abstract submission: Thursday 14 January 2010 (Call for Papers and Submission Instructions)
Paper submission: Thursday 21 January 2010 (Call for Papers and Submission Instructions)
Reviews available: Thursday 25 March 2010 (Program Committee)
Author response period: 29-31 March 2010
Acceptance notification: Thursday 8 April 2010
Camera ready copy due: Thursday 6 May 2010

Related Resources

PPSN 2020   Parallel Problem Solving from Nature
ICPP 2020   International Conference on Parallel Processing
IComputation 2020   The 2020 IEEE Symposium on Immune Computation
ACM-WCBD-Ei/Scopus 2020   2020 International Conference on Wireless Communication and Big Data (WCBD 2020)
Special Issue of TEVC 2020   Evolutionary Computation Meets Deep Learning
IJMPICT 2020   International Journal of Managing Public Sector Information and Communication Technologies
IEEE-CTISC 2020   2020 2nd International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2020)
BENCHMARK 2020   PPSN 2020 Workshop - Good Benchmarking Practices for Evolutionary Computation
CASON 2020   The 9th International Conference on Computational Aspects of Social Networks