From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 7D916BC69 for ; Thu, 31 May 2007 14:59:50 +0200 (CEST) Received: from ptibonum.scl.csd.uwo.ca (ptibonum.scl.csd.uwo.ca [129.100.16.102]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l4VCxm0o001441 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 31 May 2007 14:59:50 +0200 Received: from ptibonum.scl.csd.uwo.ca (localhost.localdomain [127.0.0.1]) by ptibonum.scl.csd.uwo.ca (8.13.1/8.13.1) with ESMTP id l4VCxlwR032714 for ; Thu, 31 May 2007 08:59:47 -0400 Received: (from snc2007@localhost) by ptibonum.scl.csd.uwo.ca (8.13.1/8.13.1/Submit) id l4VCxlQi032713 for caml-list@inria.fr; Thu, 31 May 2007 08:59:47 -0400 Date: Thu, 31 May 2007 08:59:47 -0400 From: SNC 2007 Conference To: caml-list@inria.fr Subject: SNC 2007: News and 2nd Call for Papers Message-ID: <20070531125947.GA32708@ptibonum.scl.csd.uwo.ca> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.4.1i X-Miltered: at discorde with ID 465EC6C4.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; antipolis:01 issac:01 co-located:01 issac:01 antipolis:01 geometric:01 numerically:01 matrices:01 geometric:01 model:01 oleg:01 oleg:01 lifl:01 algebra:01 snap:98 Symbolic-Numeric Computation 2007 (SNC 2007) July 25-27, 2007 -- London Canada http://www.orcca.on.ca/conferences/snc2007 Third Announcement and CALL for PARTICIPATION News: ** Preliminary program available ** http://www.orcca.on.ca/conferences/snc2007/site/programsncpasco/program.html ** Registration open ** http://www.orcca.on.ca/conferences/snc2007/site/registration/registration.html Invitation: Individuals who wish to attend the conference are invited to register via the conference web site. 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. Invited Speakers: [ See abstracts: http://www.orcca.on.ca/conferences/snc2007/site/talks/talks.html ] Andre Galligo, University of Nice-Sophia Antipolis (France) "Approximate bivariate factorization: a geometric viewpoint" Erich Kaltofen, North Carolina State University (USA) "On probabalistic analysis of randomization in hybrid symbolic-numeric algorithms" Anthony Kennedy, University of Edinburgh (UK) "Automating renormalization of quantum field theories" Nick Trefethen, Oxford University (UK) "Computing numerically with functions instead of numbers" Charles Wampler, General Motors (USA) "Numerical algebraic geometry and kinematics" Lihong Zhi, Chinese Academy of Sciences (China) "Numerical optimization in hybrid symbolic-numeric computation" Topics: Papers for the conference were solicited from the following areas: * 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 Conference Organization: General Chair: Stephen Watt PC Chair: Jan Verschelde Local Arrangements: Oleg Golubitsky Web site: Francois Lemaire Administration: Meg Borthwick 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: VP Research, Faculty of Science, Deparment of Computer Science The Ontario Research Centre for Computer Algebra Maplesoft SHARCNET 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