7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05)

Venue: Western University of Timisoara

Location: Timisoara, Timis, Romania

Event Date/Time: Sep 25, 2005 End Date/Time: Sep 29, 2005
Registration Date: Sep 01, 2005
Early Registration Date: Sep 01, 2005
Abstract Submission Date: May 16, 2005
Paper Submission Date: May 16, 2005
Report as Spam


Topics of interest

- 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
- data mining,

but this list is not intended to be exhaustive.

The choice of these topics is motivated by the belief of the organizers that
the dialogue between the two communities is very necessary in order to make
significant progress in making the computer a truly intelligent aid for
mathematicians and engineers.

We invite submissions in the form of:
- full research papers,
- short papers (work in progress),
- system descriptions and software demonstrations.

Proposals for workshop or technical sessions are also invited.


Both a pre-proceedings and a post-proceedings volume are envisaged by the organizers.
The papers accepted for presentation at SYNASC'05 will be published in an electronic
pre-proceedings (CD with ISBN) available during the symposium.

Revised versions of papers selected from those presented at
SYNASC'05 will further be published by an international publisher
(IEEE Press or Springer Verlag - LNCS series)


General Chairs:
Bruno Buchberger, Johannes Kepler University, Linz
Stefan Maruster, West University of Timisoara

Program Chairs:
Tudor Jebelean, Johannes Kepler University, Linz
Viorel Negru, West University of Timisoara

Local Chairs:
Dana Petcu, West University of Timisoara
Daniela Zaharie, West University of Timisoara


Program Committee:

Vasile Berinde, Romania
Charles G. Broyden, England
Stefano Cerri, France
Gheorghe Coman, Romania
Vladimir Cretu, Romania
Christo Dichev, Bulgaria
Adina Florea, Romania
Laureano Gonzales-Vega, Spain
Vladimir Gorodetsky, Russia
Stefan Holban, Romania
Tetsuo Ida, Japan
Boris Konev, Russia
Jens Knoop, Austria
Dorel Lucanu, Romania
Mircea Marin, Austria
Marius Minea, Romania
Vasile Palade, England
Marcin Paprzycki, USA
Petru Pau, Austria
Bazil Parv, Romania
Eugene Roventa, Canada
Amal El Fallah Seghrouchni, France
Luminita State, Romania
Doina Tatar, Romania
Marie-Claude Thomas, France
Ioan Tomescu, Romania
Brigitte Trousse, France
Dan Tufis, Romania
Ferucio Laurentiu Tiplea, Romania
Lucia Vaina, USA
Helmut Veith, Austria



Papers of up to 12 pages must be submitted electronically to


Extended abstracts (up to 4 pages) may be submitted for short papers and system
presentations. Only full papers will be considered for publication in post-proceedings.

Proposals for workshops and special technical sessions are also invited. Such
workshops and special sessions should have a focus and topic content that relates
to the SYNASC05 topics. Workshops and sessions should have a minimum of five papers.
Please send a short description (100-200 words) of the proposed workshop or technical session.
The description should contain the scope, focus and/or intended content.
The proposal should also list the submission procedures, program/review committee members
and submission dates (these should be in concordance with the SYNASC05 deadline for final
paper submission).


Important dates:

Workshop proposals: April 15, 2005
Submission deadline: May 16, 2005
Notification of acceptance: July 1, 2005
Final paper and registration: September 1, 2005
Symposium starts: September 25, 2005
Revised papers for post-proceedings: October 30, 2005


B-dul Vasile Parvan 4