Call for Papers

ISSAC is an annual international symposium that provides an opportunity to learn of new developments and to present original research in all areas of symbolic and algebraic computation.  Research results and insightful analyses of current concerns are the primary focus.  Papers will be reviewed by the Program Committee and additional referees.  Survey articles may be suitable for submission, if clearly identified as such, and will be considered in a separate category from the research papers.  Simultaneous submission for publication elsewhere is not allowed. 

Conference Topics

• Algorithmic mathematics:  Algebraic, symbolic, and symbolic-numeric algorithms including: simplification, polynomial and rational function manipulations, algebraic equations, summation and recurrence equations, integration and differential equations, linear algebra, number theory, group computations, and geometric computing.
• Computer science:  Theoretical and practical problems in symbolic mathematical manipulation including: computer algebra systems, data structures, computational complexity, problem solving environments, programming languages and libraries for symbolic-numeric-geometric computation, user interfaces, visualization, software architectures, parallel or distributed computing, mapping algorithms to architectures, analysis and benchmarking, automatic differentiation and code generation, automatic theorem proving, mathematical data exchange protocols.
• Applications: Problem treatments incorporating algebraic, symbolic, symbolic-numeric and geometric computation in an essential or novel way, including engineering, economics and finance, architecture, physical and biological sciences, computer sciences, logic, mathematics, statistics, and uses in education.

Submission Instructions

1. Ftp to sunshine.ticam.utexas.edu and log in as anonymous.  Provide your e-mail address as the password.
2. Put a Postscript or PDF version of the paper into the pub/incoming directory.
3. Send e-mail to issac@ticam.utexas.edu, indicating the name of the file, the title of the paper, and the contact author's name and e-mail address. (Note: the papers themselves should be uploaded via ftp as described above; they should not be sent via e-mail.)

Authors may submit additional background reference material that is not widely available. 

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. The necessary files for the LaTeX article and bibliography styles are: 

      acmconf.sty 
      acm.bst 

If you use LaTeX-2e and prefer the newer class file (instead of acmconf.sty), you will need: 

      acmconf.cls 

Each paper should have an introductory section that describes the problem, motivates the study of the problem, states the main results, compares other work (including theoretical or empirical performance), and summarizes the original contribution. 

Important Dates

• 17 January 2000:  Submission deadline.
• 31 March 2000:  Notification of acceptance.
• 19 April 2000:  Camera-ready copy received.

Poster Session

Program Committee Chair

Program Committee 

• Francisco Jesus Castro-Jimenez, Universidad de Sevilla, castro@cica.es
• Erich Kaltofen, North Carolina State University, kaltofen@eos.ncsu.edu
• Lakshman Yagati, Bell Labs, ynl@research.bell-labs.com
• Ursula Martin, University of St Andrews, um@dcs.st-and.ac.uk
• Bud Mishra, New York University, mishra@cs.nyu.edu
• J. Strothers Moore, University of Texas at Austin, jmoore@cs.utexas.edu
• Alberto Paoluzzi, Universita di Roma, paoluzzi@dia.uniroma3.it
• Rafael Sendra, Universidad de Alcala, mtsendra@alcala.es
• Laureano Gonzalez-Vega, Universidad de Cantabria, gvega@matesco.unican.es
• Emo Welzl, ETH Zurich, emo@inf.ethz.ch
• Franz Winkler, RISC - J. Kepler Universitat Linz, franz.winkler@risc.uni-linz.ac.at