From issac2001-owner@zib.de Fri Sep 08 07:36:47 2000 Received: from XXX.XXXX.XXX [XXX.XXX.XX.XXX] by XXXXXX.XXXX.XXX with esmtp (Exim 2.05 #1 (Debian)) id 13XPGp-0004ts-00; Fri, 8 Sep 2000 07:36:47 -0700 Received: from XXXXXXXX.XXXXXXX.XXX [XXX.XXX.XXX.XX] (root) by XXX.XXXX.XXX with esmtp (Exim 3.12 #1 (Debian)) id 13XPQY-0001FZ-00; Fri, 08 Sep 2000 07:46:50 -0700 Received: from mailer.zib.de (mailer.zib.de [130.73.108.11]) by XXXXXXXX.XXXXXXX.XXX (8.10.1/8.10.1) with ESMTP id e88EaOc25913 for ; Fri, 8 Sep 2000 07:36:24 -0700 (PDT) Received: from mailsrv2.zib.de (mailsrv2 [130.73.121.11]) by mailer.zib.de (8.9.3+Sun/8.9.1) with ESMTP id QAA22372; Fri, 8 Sep 2000 16:36:11 +0200 (MET DST) Received: (from mail@localhost) by mailsrv2.zib.de (8.9.3+Sun/8.9.1) id OAA08396 for issac2001-outgoing; Fri, 8 Sep 2000 14:17:18 +0200 (MET DST) X-Authentication-Warning: mailsrv2.zib.de: mail set sender to issac2001@orcca.on.ca using -f Received: from opts1.zib.de (opts1.zib.de [130.73.74.1]) by mailsrv2.zib.de (8.9.3+Sun/8.9.1) with ESMTP id OAA08391 for ; Fri, 8 Sep 2000 14:17:16 +0200 (MET DST) Received: from opt37 by opts1.zib.de (8.8.8+Sun/SMI-SVR4) id OAA00432; Fri, 8 Sep 2000 14:17:16 +0200 (MET DST) Message-ID: <39B8D8CB.CD8@orcca.on.ca> Date: Fri, 08 Sep 2000 14:17:15 +0200 From: Publicity Chair X-Mailer: Mozilla 3.0Gold (X11; I; SunOS 5.6 sun4m) MIME-Version: 1.0 To: issac2001@zib.de Subject: ISSAC-2001: ISSAC 2001 - Call for Papers Content-Type: multipart/mixed; boundary="------------40F84A4662AD" Sender: issac2001@orcca.on.ca Precedence: bulk Reply-To: issac2001@orcca.on.ca Status: RO This is a multi-part message in MIME format. --------------40F84A4662AD Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit CALL FOR PAPERS International Symposium on Symbolic and Algebraic Computation University of Western Ontario, Canada, July 22-25, 2001 XXXX://www.orcca.on.ca/issac2001/ ISSAC is the yearly premier international symposium in Symbolic and Algebraic Computation that provides an opportunity to learn of new developments and to present original research results in all areas of symbolic mathematical computation. ISSAC'2001 will be locally hosted by the University of Western Ontario at London and the Ontario Research Centre for Computer Algebra (ORCCA). Important dates Before January 15, 2001 Submission to the Program Committee Chair deadline March 12, 2001 Notification of acceptance April 2, 2001 Camera -ready copy received Original research results and insightful analyses of current concerns are solicited for submission. Papers will be reviewed by a program committee and referees. Survey articles may be suitable for submission if identified as such, they will be considered in a separate category from the research papers. Proceedings will be distributed at the symposium. Electronic submission is encouraged. Program Committee Chair: Gilles.Villard@ens-lyon.fr Conference 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, softwares, libraries, parallel/distributed computing and programming languages for symbolic computation, concrete analysis, benchmarking, 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. Program Committee: Chair: Gilles Villard, CNRS IMAG Grenoble, Gilles.Villard@ens-lyon.fr Proceedings Editor: Bernard Mourrain, INRIA Sophia Antipolis, mourrain@sophia.inria.fr Submissions must not substantially duplicate work published or submitted for publication elsewhere. Late submissions will be rejected. Best student author award. This award will be given to the best student author. An author is eligible if full-time student at the time of submission, this should be indicated. Notification. Authors will be sent notification of acceptance or rejection by e-mail on or before March 12, 2001. A final copy of each accepted paper will be required by April 2, 2001. This is again a firm deadline. An author of each accepted paper must attend the Conference and present the paper, or make arrangements to have it presented. Preparing final versions. Formatting requirements will be based on the ACM Proceedings Templates, for instance in LaTeX2e you should use the acm_proc_article-sp.cls document class file to format your document. --------------40F84A4662AD Content-Type: text/html; charset=us-ascii; name="call_for_papers.html" Content-Transfer-Encoding: 7bit Content-Disposition: inline; filename="call_for_papers.html" Gilles VILLARD, ISSAC 2001 Call for Papers Call for Papers  - 05/09/2000
ISSAC'2001
International Symposium on Symbolic and Algebraic Computation
University of Western Ontario, Canada, July 22-25, 2001
[home page]

ISSAC is the yearly premier international symposium in Symbolic and Algebraic Computation that provides an opportunity to learn of new developments and to present original research results in all areas of symbolic mathematical computation. ISSAC'2001 will be locally hosted by the University of Western Ontario at London and the Ontario Research Centre for Computer Algebra (ORCCA).
 

Important dates
Before January 15, 2001 Submission to the Program Committee Chair deadline
March 12, 2001  Notification of acceptance
April 2, 2001 Camera -ready copy received 

       Original research results and insightful analyses of current concerns are solicited for submission. Papers will be reviewed by a program committee and referees. Survey articles may be suitable for submission if identified as such, they will be considered in a separate category from the research papers. Proceedings will be distributed at the symposium.  Electronic submission is encouraged, a description of the procedure will appear on this site. 

   Program Committee Chair:  Gilles.Villard@ens-lyon.fr
 

Conference 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, softwares, libraries, parallel/distributed computing and  programming languages for symbolic computation, concrete analysis, benchmarking, 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.

Program Committee:

     Chair: Gilles Villard, CNRS IMAG Grenoble, Gilles.Villard@ens-lyon.fr

Proceedings Editor: Bernard Mourrain, INRIA Sophia Antipolis, mourrain@sophia.inria.fr

Submissions must not substantially duplicate work published or submitted for publication elsewhere.  Late submissions will be rejected.

Best student author award. This award will be given to the best student author. An author is eligible if full-time student at the time of submission, this should be indicated.

Notification. Authors will be sent notification of acceptance or rejection by e-mail on or before March 12, 2001. A final copy of each accepted paper will be required by April 2, 2001. This is again a firm deadline. An author of each accepted paper must attend the Conference and present the paper, or make arrangements to have it presented.

Preparing final versions. Formatting requirements will be based  on the ACM Proceedings Templates, for instance in LaTeX2e you should use the acm_proc_article-sp.cls document class file to format your document. --------------40F84A4662AD--