[cmath] ISSAC 2007 CFP2

[ISSAC 2007]

ISSAC 2007

Second Announcement and Call for Papers

The International Symposium on Symbolic and Algebraic Computation
(ISSAC) is the premier annual conference to present and discuss new
developments and original research results in all areas of symbolic
mathematical computation. Planned activities include invited 
presentations, research papers, poster sessions, tutorial courses, 
vendor exhibits and software demonstrations.

Important Dates

ISSAC 2007 will be held from July 29 to August 1, 2007 
in Waterloo, Canada.

Deadline for submissions: January 17, 2007 (Midnight [24:00 EST])
Notification of acceptance/rejection: March 28, 2007 
Camera-ready copy to the publisher: April 27, 2007

Please note that the refereeing and publication schedule does not 
permit any delays in these dates.

Conference topics include, but are not limited to:

Algorithmic Mathematics
Algebraic, symbolic and symbolic-numeric algorithms. Simplification, 
function manipulation, summation, integration, polynomial/
differential/difference equations, linear algebra, number theory, 
group and invariant theory, 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, concrete 
analysis, benchmarking, theoretical and practical complexity, 
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 and education. 


The ISSAC 2007 web site is

		http://www.cs.uwaterloo.ca/issac2007/


Instructions to Authors
Original research results and insightful analyses of current concerns 
are solicited for submission. Submissions must not duplicate work 
published or submitted for publication elsewhere. Papers will be 
reviewed by the 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.

To view the formatting requirements, or to submit your 
contribution, please visit the Paper Submission page
(http://www.easychair.org/ISSAC2007/).


Authors of accepted papers are expected to present their work at the
symposium and will be required to sign the ACM copyright agreement 
(www.acm.org/pubs/copyright_form.html).

For poster submissions please consult the forthcoming Call for Posters
or the Poster Submission page (http://www.cs.uwaterloo.ca/issac2007/posters/).
Abstracts of posters will be distributed at the symposium. 


SIGSAM Distinguished Paper Award
This award will be given to the most distinguished paper(s) presented at
ISSAC 2007. The distinguished paper(s) will be selected by the program
committee.

SIGSAM Distinguished Student Author Award
This award will be given to the best student author(s). 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 the ISSAC Award
Guidelines (http://www.acm.org/sigsam/ISSAC_Awards/).

Organizing Committee

General Chair:                          Dongming Wang

Program Committee Chair:                Bernard Mourrain 

Local Arrangements:                     Keith Geddes, Mark Giesbrecht, 
                                        George Labahn, Arne Storjohann

Publicity Chair:                        Viktor Levandovskyy
                    
Treasurer:                              Juergen Gerhard

Webmaster:                              John P. May

Software Exhibitions Chair:             Hirokazu Anai 

Tutorial Chair:                         J. Rafael Sendra
                         
Poster Committee Chair:                 Vladimir Gerdt

Proceedings Editor:                     Christopher W. Brown