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: * Exact and symbolic linear, polynomial and differential algebra. * Symbolic-numeric, homotopy, perturbation and series methods. * Computational geometry, group theory and number theory. * Summation, recurrence equations, integration, solution of ODE & PDE. * Symbolic methods in other areas of pure and applied mathematics. * Theoretical and practical aspects, including general algorithms, techniques for important special cases, complexity analyses of algebraic algorithms and algebraic complexity.
Software aspects: * Design of packages and systems. * Data representation. * Software analysis. * Considerations for modern hardware, e.g., current memory and storage technologies, high performance systems and mobile devices. * User interface issues, including collaborative computing and new methods for input and manipulation. * 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: * 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. Paper submission is in two stages: first the abstract is submitted by the abstract deadline and then the associated paper may be submitted up to the paper deadline. Papers must be in English and should not exceed 8 pages in the ACM sig-alternate.cls style, found at http://www.acm.org/sigs/publications/proceedings-templates. Submission is via EasyChair, at the web site http://www.easychair.org/conferences/?conf=issac2010.
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. http://www.issac-conference.org/2010/call-for-papers/
Important Dates: ---------------- Abstract submission: Thursday 14 January 2010 Paper submission: Thursday 21 January 2010 Reviews available: Thursday 25 March 2010 Author response period: 29-31 March 2010 Acceptance notification: Thursday 8 April 2010 Camera ready copy due: Thursday 6 May 2010 http://www.issac-conference.org/2010/important-dates/
Program Committee: ------------------ Chair: Stephen Watt, University of Western Ontario, Canada
Moulay Barkatou, Université de Limoges, France Alin Bostan, INRIA, France Chris Brown, US Naval Academy, USA James Davenport, University of Bath, UK Jean-Guillaume Dumas, Université Joseph Fourier, France Wayne Eberly, University of Calgary, Canada Bettina Eick, TU Braunschweig, Germany Jean-Charles Faugère, UPMC and INRIA, France Michael Kohlhase, Jacobs University, Germany Laura Kovács, ETH Zürich, Switzerland Ziming Li, Chinese Academy of Sciences, China Elizabeth Mansfield, University of Kent, UK B. David Saunders, University of Delaware, USA Éric Schost, University of Western Ontario, Canada Ekaterina Shemyakova, RISC-Linz, Austria Thomas Sturm, Universidad de Cantabria, Spain Carlo Traverso, Università di Pisa, Italy Kazuhiro Yokoyama, Rikkyo University, Japan Lihong Zhi, Chinese Academy of Sciences, China http://www.issac-conference.org/2010/committees/