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

Система компьютерной алгебры GAP: 4th International Workshop on Symbolic Numeric Computation



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

SNC 2011

First Announcement and Call for Papers

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.


Submission Instructions
-----------------------
SNC 2011 invites the submission of original research contributions to
be considered for publication and presentation at the
conference. Papers should not duplicate work published or submitted
for consideration elsewhere prior or in parallel to the SNC
submission.

Papers must be in English and shall be reviewed by the Program
Committee and external referees. Submissions should be in the form of
abstracts (2 pages) or full papers (up to 10 pages) in the ACM
sig-alternate.cls style (see
http://www.acm.org/sigs/publications/proceedings-templates). Submission
is exclusively via EasyChair (see
http://www.easychair.org/conferences/?conf=snc2011). At least one
author of each accepted paper must register for the conference to
present the paper.

Conference e-proceedings will be published by ACM and also be in the
ACM Digital Library.

In keeping with tradition of previous SNC conferences, a special issue
of the journal Theoretical Computer Science (TCS,
http://www.elsevier.com/locate/tcs) is planned for after the
conference. SNC 2011 speakers will be able to submit full papers to
the special issue. The specifics of submission to the special issue,
the names of the Guest Editors, as well as the relevant deadlines will
be announced at the conference.


Important Dates
---------------
Submission deadline: March 15, 2011
Notification: April 15, 2011
Camera-ready version due: April 30, 2011
Workshop: June 7-9, 2011


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)

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

В избранное