2007-05-31

[Caml-list] SNC 2007: News and 2nd Call for Papers

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 <watt@orcca.on.ca>
PC Chair: Jan Verschelde <jan@math.uic.edu>
Local Arrangements: Oleg Golubitsky <oleg@orcca.on.ca>
Web site: Francois Lemaire <lemaire@lifl.fr>
Administration: Meg Borthwick <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:
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

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

No comments: