Отправляет email-рассылки с помощью сервиса Sendsay
  Все выпуски  

Система компьютерной алгебры GAP: SNC 2011 - Second Call for Participation



SNC 2011

Second Call for Participation

4th International Workshop on Symbolic Numeric Computation

June 7-9, 2011, San Jose, California
http://www.cargo.wlu.ca/SNC2011/

Member of ACM Federated Computing Research Conference
http://acm.org/fcrc/

===================================================

Overview
--------
Algorithms that combine techniques from symbolic and numeric
computation have been of increasing importance and interest over the
past decade. The necessity to work reliably with imprecise and noisy
data, and for speed and accuracy within algebraic and hybrid-numerical
problems, has encouraged a new synergy between the numerical and
symbolic computing fields. Novel and exciting problems from
industrial, mathematical and computational domains are now being
explored and solved.

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, the SNC 2005 meeting, held in Xi'an, China, SNC 2007 which was
held in London, Canada, and SNC 2009, held in Kyoto, Japan. The 4th
International Workshops on Symbolic-Numeric Computation will be held
on June 7-9 at San Jose, California, as a member of the ACM Federated
Computing Research Conference (FCRC).

SNC 2011 is affiliated with the 2011 International Symposium on
Symbolic and Algebraic Computation (ISSAC 2011) which will be held on
June 8-11, 2011 as another member of the ACM FCRC.


Conference Topics
-----------------
Specific topics of SNC 2011 include, but are not limited to:

- Hybrid symbolic-numeric algorithms in linear, polynomial and
differential algebra
- 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
- Implementation of symbolic-numeric algorithms
- Model construction by approximate algebraic algorithms
- Applications of symbolic-numeric computation: global optimization,
verification, etc.


Registration
------------

You can register for SNC through the FCRC web site at
http://www.regonline.com/2011fcrc. The registration fee schedule
can be found at http://www.cargo.wlu.ca/SNC2011/registration.html.
Note that the early registration deadline is May 16, 2011.

The list of accepted papers is online at
http://www.cargo.wlu.ca/SNC2011/papers.html.


Organizing Committee
--------------------

General Chair: Ilias Kotsireas (Waterloo, Canada)
Program Committee Chair: Lihong Zhi (Beijing, China)
Proceedings editor: Marc Moreno Maza (London, Canada)
Treasurer: Werner Krandick (Philadelphia, USA)
Publicity Chair: Erik Postma (Maplesoft, Canada)
Webmaster: Guillaume Moroz (Nancy, France)


Program Committee
-----------------
Daniel Bates (Colorado State University, USA)
Mark Giesbrecht (University of Waterloo, Canada)
Stef Graillat (Universite' Pierre et Marie Curie, France)
Claude-Pierre Jeannerod (INRIA LIP ENS Lyon, France)
Hiroshi Kai (Ehime University, Japan)
Erich Kaltofen (North Carolina State University, USA)
Bingyu Li (Northeast Normal University, China)
Marc Moreno Maza (University of Western Ontario, Canada)
Teo Mora (University of Genova, Italy)
Bernard Mourrain (INRIA Sophia Antipolis, France)
Kosaku Nagasaka (Kobe University, Japan)
Victor Pan (City University of New York, USA)
Greg Reid (University of Western Ontario, Canada)
Kiyoshi Shirayanagi (Toho University, Japan)
Franz Winkler (Johannes Kepler University, Austria)
Lihong Zhi (Academy of Mathematics and Systems Science, China), Chair

Invited Speakers
----------------
Jonathan Borwein (University of Newcastle, Australia)
James Demmel (UC Berkeley, USA)
Stephen Watt (University of Western Ontario, Canada)


Important Dates
---------------
Early registration deadline: May 16, 2011
Workshop: June 7-9, 2011


Related conference: ISSAC 2011
------------------------------

-accepted papers:
http://www.issac-conference.org/2011/papers.html

-invited talks by Victor Miller and Gilles Villard
http://www.issac-conference.org/2011/invited.html

-tutorials by Peter Bu:rgisser, Manuel Kauers and Agnes Szanto
http://www.issac-conference.org/2011/tutorials.html


Sponsors
--------
Maplesoft
Wilfrid Laurier University
Numerical Algorithms Group (NAG)
Ontario Research Council for Computer Algebra (ORCCA)
Association for Computing Machinery (ACM, SIGSAM)

В избранное