SYNASC-2001

3rd International Workshop on

Symbolic and Numeric Algorithms for Scientific Computing

Timisoara, Romania

October 2 - 5, 2001

Organized by:
 

Dept. of Theoretical Computer Science

Faculty of Mathematics

University of the West, Timisoara, Romania
 

Research Institute for Symbolic Computation

R  I  S  C    Linz

Johannes Kepler University, Linz, Austria

---------------------------------------------------------------

Topic:
 

The workshop aims to be an interaction forum between the two communities of symbolic and numeric computing,
with the purpose of exhibiting interesting applications of these areas both in theory and in practice.

We do not restrict the topic to work presenting successful integration of the two areas, rather we encourage
researchers familiar with either symbolic or numerical computing, who would like to be heard by the other community.

Following the experience of the two previous workshops, we expect submissions relevant to:
 

     - solving systems of nonlinear equations;

     - symbolic techniques applied to numerics;

     - applications of automated reasoning;

     - artificial intelligence in numeric solving;

     - multi-agent systems for complex problem solving;

     - parallel computation for symbolics and numerics;

     - programming with constraints, narrowing;

     - reliable approximative computation with reals;

     - numerics and symbolics for geometry;

     - scientific visualization.

but this list is not intended to be exhaustive.

We also welcome system descriptions related to these areas.

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

--------------------------------------------------------

Publication:
 

The submissions will not be formally refereed, but they will be judged for appropriateness and soundness
by the programme committee. Accepted contributions are intended as a basis for discussions and will be
published as a RISC technical report, available at the workshop.

Following the workshop, authors are encouraged to prepare an improved final version of their papers
which will be published in the journal "Annals of the University of Timisoara, Mathematics and Computer
Science series", ISSN 1224-97-OX

All published papers are reviewed in Mathematical Reviews and Zentralblatt für Mathematik. The journal
is distributed, through librarian exchange, to more than 200 academic libraries all over the world
(http://www.math.uvt.ro/anmath/index.html).

--------------------------------------------------------

Programme Chairs:
 

Bruno Buchberger, RISC, Johannes Kepler University of Linz, Austria

Stefan Maruster, University of the West, Timisoara, Romania

--------------------------------------------------------

Programme Committee
 

Stefano Cerri, University of Montpelier, France

Gheorghe Coman, Babes-Bolyai University of Cluj, Romania

Vladimir Cretu, "Politehnica" University of Timisoara, Romania

Mircea Dragan, University of the West, Timisoara, Romania

Adina Florea, "Politehnica" University of Bucharest, Romania

Laureano Gonzales-Vega, Universidad de Cantabria, Spain

Vladimir Gorodetsky, Russian Academy of Sciences

Stefan Holban, "Politehnica" University of Timisoara, Romania

Tetsuo Ida, University of Tsukuba, Japan

Calin Ignat, "A.I. Cuza" University of Iasi, Romania

Tudor Jebelean, RISC, Johannes Kepler University of Linz, Austria

Boris Konev, Steklov Institute of Mathematics, St. Petersburg, Russia

Viorel Negru, University of the West, Timisoara, Romania

Mircea Marin, University of Tsukuba, Japan

Petru Pau, RISC, Johannes Kepler University of Linz, Austria

Bazil Parv, Babes-Bolyai University of Cluj, Romania

Dana Petcu, University of the West, Timisoara, Romania

Eugene Roventa, Glendon College, York University, Canada

Luminita State, University of Bucharest, Romania

Marie-Claude Thomas, Sophia Antipolis University of Nice, France

Ioan Tomescu, University of Bucharest, Romania

Lucia M. Vaina, Boston University, USA

Proceedings Committee
 

Tudor Jebelean, RISC, Johannes Kepler University of Linz

Viorel Negru, University of the West, Timisoara

Adriana Popovici, University of the West, Timisoara

Organizing Committee
 

Alexandru Cicortas

Lucian Cucu

Florin Fortis

Ciprian Jichici

Viorel Negru

Daniel Pop

Horia Popa

Adriana Popovici

Calin Sandru

---------------------------------------------------------

Submission:
 

Authors are invited to submit papers electronically by email, to the address synasc01@info.uvt.ro.
Electronic submissions should be in PostScript or PDF format (printable in a standard UNIX
environment). The length of each paper should not exceed 12 pages.
 

---------------------------------------------------------

Important dates:
 

Submission: August 25, 2001             (EXTENDED DEADLINE)

Acceptance: September 5, 2001

Registration: September 10, 2001

Final paper: September 15, 2001 (LaTeX source of final versions will be required)

Workshop starts: October 2, 2001

---------------------------------------------------------

Conferences fee:

100 Euro (50 Euro for students) covers proceedings, refreshments during breaks, cocktail, and banquet.
The fee is low because the support from the Romanian Government and the World Bank (project "Intelligent
environment for scientific software"). Participants from Eastern Europe may apply for additional sponsoring
in order to reduce the participation fee to 50 Euro (25 Euro for students).

---------------------------------------------------------

Travel arrangements:

Bucuresti: various (from Bucharest to Timisoara by plane or by train).

Air travel from Vienna to Timisoara: daily 13:45 and back 16:30.

Budapest: various (from Budapest to Timisoara by train or by bus).
 

---------------------------------------------------------

Venue:

The city of Timisoara hosts several prestigious academic institutions (the University of the West, the
"Politehnica" University, the University of Medicine, the Agricultural University, and others).

The city and the surrounding region have an unique history in Romania, being over the centuries an object
of dispute for several states (Roman, Hungarian, Ottoman, Austrian), which left their still visible marks,
and, above all, a very multicultural society which constitutes a beautiful example of harmony in Romania
and in the Balkans (30 Km from Serbia). The openness of mind of its inhabitants is probably one of the
reasons for starting the anti-Communist movement in Romania and for being now one of the economically
most advanced locations in the country.
 

Online information about Timisoara:
 

http://www.uvt.ro (University of the West)

http://www.eng.timisoara.ro

http://www.timisoara.com

http://www.timisoara.ro

http://www.ici.ro/romania/servere/serv_tm.shtml

---------------------------------------------------------

Social programme:

A social programme including visits to the historical city, museum, trip to the Cave of the Bears, etc. will be planned
in detail depending on the programme and wishes of the participants.

---------------------------------------------------------

Address for correspondence
 

SYNASC 2001
University of the West
Dept. of Theoretical Computer Science
Bd. V. Parvan 4, 1900 Timisoara, Romania
tel./fax: + (40) 56 194002

e-mail: synasc01@info.uvt.ro

vnegru@info.uvt.ro (Viorel Negru)
tjebelea@risc.uni-linz.ac.at (Tudor Jebelean)

Additional info: http://www.math.uvt.ro
                            http://www.info.uvt.ro/~synasc01/

---------------------------------------------------------