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

Система компьютерной алгебры GAP - ISSAC 2007, SNC 2007


ISSAC 2007: Call for Participation

The International Symposium on Symbolic and Algebraic Computation
(ISSAC) is the premier annual conference to present and discuss new
developments and original research results in all areas of symbolic
mathematical computation. Planned activities include invited
presentations, research papers, poster sessions, tutorial courses,
vendor exhibits and software demonstrations.

ISSAC 2007 will be held from July 29 to August 1, 2007 in Waterloo, Canada.

Invited Speakers
   John J. Cannon (University of Sydney, Australia)
   William Kahan (UC Berkeley, USA)
   Jean Bernard Lasserre (CNRS, Toulouse, France)

Registration is now open for ISSAC 2007!
   Early Registration Deadline: July 1, 2007.

*** Deadline for Abstracts for Posters and Software Exhibition: June 5, 2007 !!!

Poster Sessions
---------------
Posters on all conference topics are welcome. Authors are invited to
submit an extended abstract of no more than 2 pages (A4 or letter)
describing the contents of the poster. PDF and PS formats are
preferred. A0 format is preferable but not mandatory.  Abstracts of
posters will be distributed at the symposium.

Submission of posters can be done online at
   http://www.easychair.org/ISSAC2007Posters/

Software Demonstrations
-----------------------
ISSAC 2007 organizes sessions to exhibit software packages produced by
academic developers. These sessions are intended to promote software
development activities in the areas of symbolic mathematical
computation.  A software exhibition session consists of an
illustration of a piece of software by using a poster display and/or a
laptop computer display.

Authors are invited to submit an extended abstract of no more than 2
pages (A4 or letter) of their software presentation. Abstracts of
software exhibitions will be distributed at the symposium. PDF and PS
formats are preferred.  The abstract must include a valid link/contact
address for downloading the software packages and the documentations.

Please send your submission by email with the title [ISSAC'07 Software
Exhibitions] to issac07demos at uwaterloo dot ca

Deadline for Posters and Software Exhibitions
  - Submission deadline: June 5, 2007 (Midnight [24:00 EST])
  - Notification of acceptance will be made by June 15, 2007.

ISSAC 2007 Organizing Committee:
  http://www.cs.uwaterloo.ca/conferences/issac2007/info-committee

ISSAC is officially sponsored by the Association for Computing
Machinery (ACM). We are grateful for generous financial sponsorship from the
Fields Institute, Maplesoft, Mitacs and the University of Waterloo.

 


 

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


В избранное