SYNASC 2007: 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC07)

Venue: Western University of Timisoara

Location: Timisoara, Romania

Event Date/Time: Sep 26, 2007 End Date/Time: Sep 29, 2007
Registration Date: Sep 01, 2007
Early Registration Date: Sep 01, 2007
Abstract Submission Date: May 15, 2007
Paper Submission Date: May 15, 2007
Report as Spam



9th International Symposium on
Symbolic and Numeric Algorithms for Scientific Computing
Timisoara, Romania
September 26 - 29, 2007


SYNASC aims to stimulate the interaction between the two scientific communities of
symbolic and numeric computing, with the purpose of exhibiting interesting applications
of these areas both in theory and in practice.

Authors are invited to submit original papers describing theoretical and/or experimental
research in areas of interest which include (but are not limited to):

- symbolic techniques applied to numerics;
- numerics and symbolics for geometry;
- automated reasoning;
- computer algebra;
- solving systems of nonlinear equations;
- parallel, distributed and web computing for symbolics and numerics;
- formal system verification;
- software quality assessment;
- programming with constraints, narrowing;
- artificial intelligence in numeric solving;
- multi-agent systems for complex problem solving
- scientific visualization;
- grid middleware and applications;
- soft computing;
- data mining;
- image processing.

Papers of up to 8 pages (IEEE style) should be electronically submitted through
Extended abstracts (up to 4 pages) may be submitted for short papers and system

Proposals for workshops and special sessions are invited. Such workshops and special
sessions should have a focus and topic content that relates to the SYNASC07 topics. The
workshop proposal should be submitted to


The important dates of SYNASC'07 are:

Workshop proposals: March 30, 2007
Papers submission: May 15, 2007
Notification of acceptance: July 1, 2007
Final paper and registration: September 1, 2007
Symposium starts: September 26, 2007
Revised papers for post-proceedings: October 30, 2007

For further information about SYNASC 2007 such as preparation of papers, publication,
registration or

accommodation please visit


B-dul Vasile Parvan 4