Home Call for papers Invited Speakers Program Registration Participants Local information

Call for Papers

Overview

Algorithms that combine ideas from symbolic and numeric computation have been of increasing interest over the past decade. The growing demand for speed, accuracy and reliability in mathematical computing has accelerated the process of blurring the distinction between two areas of research that were previously quite separate.

The goal of the present workshop is to support the interaction and integration of symbolic and numeric computing. Earlier meetings in this series include the SNAP 96 Workshop, held in Sophia Antipolis, France, and the SNC 2005 meeting, held in Xi'an, China. Following the tradition, Symbolic-Numeric Computation 2007 will be held July 25-27 in London, Canada.

SNC 2007 is affiliated with the 2007 International Symposium on Symbolic and Algebraic Computation (ISSAC 2007). Co-located with this workshop will be PASCO 2007, the 2007 International Workshop on Parallel Symbolic Computation. SNC and PASCO will be held immediately prior to the ISSAC 2007 meeting, both at the University of Western Ontario, Canada. ISSAC 2007 will be held nearby in Waterloo, Canada.

Call for Papers

The program of SNC 2007 will include invited presentations, contributed research papers and posters. Specific topics include, but are not limited to:

• Hybrid symbolic-numeric algorithms
• Approximate polynomial GCD and factorization
• Symbolic-numeric methods for solving polynomial systems
• Resultants and structured matrices for symbolic-numeric computation
• Differential equations for symbolic-numeric computation
• Symbolic-numeric methods for geometric computation
• Symbolic-numeric algorithms in algebraic geometry
• Symbolic-numeric algorithms for nonlinear optimization
• Numeric computation of characteristic sets and Gröbner bases
• Implementation of symbolic-numeric algorithms
• Model construction by approximate algebraic algorithms (e.g. numerical sparse interpolation, the approximate Buchberger-Moeller algorithm)
• Applications of symbolic-numeric computation

The conference invites submission of papers presenting original research, either in the form of extended abstracts (2 pages) or full papers (up to 10 pages) in ACM format. Please use the LaTeX class file: acm_proc_article-sp.cls.

To submit a paper, visit http://www.easychair.org/SNC2007.

Conference proceedings will be published by ACM and also be in the ACM Digial Library. To do this we have had to revise the due date for the camera ready version of accepted articles.

Important Dates

• Submission deadline:	April 9, 2007	*** Extended ***
  Notification:	May 13, 2007	*** Revised ***
  Camera-ready version due:	May 27, 2007	*** Revised***
  Workshop:	July 25-27, 2007

Conference Organization

• General Chair
  • Stephen M. Watt (University of Western Ontario, Canada), watt(@)orcca.on.ca
• Program Committee Chair
  • Jan Verschelde (University of Illinois at Chicago, USA), jan(@)math.uic.edu
• Local Arrangements Chair
  • Oleg Golubitsky (University of Western Ontario, Canada), oleg(@)orcca.on.ca
• Proceedings Editor
  • Marc Moreno Maza (University of Western Ontario, Canada), moreno(@)orcca.on.ca
• Publicity
  • François Lemaire (Laboratoire d'Informatique Fondamentale de Lille, France), lemaire(@)lifl.fr
• Administration
  • Meg Borthwick (University of Western Ontario, Canada), meg(@)csd.uwo.ca

Program Committee

• Dario Bini, Universita di Pisa, Italy
• Robert Corless, University of Western Ontario, Canada
• James Demmel, University of California Berkeley, USA
• Ioannis Emiris, University of Athens, Greece
• Marc Moreno Maza, University of Western Ontario, Canada
• Bernard Mourrain, INRIA Sophia Antipolis, France
• Victor Pan, Lehman College CUNY, USA
• Greg Reid, University of Western Ontario, Canada
• Tateaki Sasaki, University of Tsukuba, Japan
• Andrew Sommese, University of Notre Dame, USA
• Jan Verschelde (PC Chair), University of Illinois at Chicago, USA
• Dongming Wang, Beihang University, China and UPMC-CNRS, France
• Zhonggang Zeng, Northeastern Illinois University, USA

Support

Support from the following organizations is gratefully acknowledged:

• The Fields Institute for Research in Mathematical Sciences
• The MITACS Network of Centers of Excellence
• The Natural Sciences and Engineering Research Council of Canada
• The University of Western Ontario: Research Western, Faculty of science, Dept of Computer Science
• The Ontario Research Centre for Computer Algebra
• Maplesoft

Links

• SNC 2007	http://www.orcca.on.ca/conferences/snc2007
  PASCO 2007	http://www.orcca.on.ca/conferences/pasco2007
  ISSAC 2007	http://www.cs.uwaterloo.ca/conferences/issac2007
  Submission	http://www.easychair.org/SNC2007