6th International Workshop on 
Symbolic and Numeric Algorithms for Scientific Computing 
Timisoara, Romania 
September 26-30, 2004

Organized by:

Department of Computer Science
West University of Timisoara, Romania

Research Institute for Symbolic Computation
Johannes Kepler University, Linz, Austria

Research Institute e-Austria

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.

Topics of interests:    

  • solving systems of nonlinear equations; 
  • symbolic techniques applied to numerics; 
  • applications of automated reasoning; 
  • applications of computer algebra; 
  • artificial intelligence in numeric solving; 
  • multi-agent systems for complex problem solving; 
  • parallel computation for symbolics and numerics; 
  • genetic and evolutionary computing; 
  • programming with constraints, narrowing; 
  • reliable approximative computation with reals; 
  • numerics and symbolics for geometry; 
  • scientific visualization;
  • formal system verification.
  • software quality assesment;

but this list is not intended to be exhaustive. 

The choice of this topic 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.

The Symposium will comprise the following workshops:

- Computer-Aided Verification of  Information Systems -- CAVIS
- Symbolic Grid Computing Workshop -- SGC
- Natural Computing Workshop -- NCW
- Workshop on Agents for Complex Systems -- ACSys


The proceedings (book with ISBN) will be available at the workshop.

Improved resubmitted versions of the papers will be published in the journal "Annals of the  University of Timisoara", ISSN 1224-970X (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 (

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:

Charles G. Broyden, England
Vasile Berinde, Romania
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, Japan 
Marius Minea, Romania

Vasile Palade, Anglia
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 in Latex format to
Extended abstracts (up to 4 pages) may be submitted for short papers and system presentations.

 The articles must be written in English.

Since for publication in proceedings, a LaTeX source of the accepted paper  will be required we
encourage authors to prepare their papers in LaTeX ( download the LaTeX layout ).

Important dates:

     Extended submission deadline: July 26, 2004    

     Extended notification of acceptance: August 20, 2004

     Final paper: September 8, 2004

     Registration: September 8, 2004

     Workshop starts: September 26, 2004

Conferences fee:

100 Euro (50 Euro for students) covers proceedings, refreshments during  breaks,
welcome cocktail and banquet.  
Participants from Eastern Europe may apply  for reduced participation fee: 50 Euro (25 Euro for students). 

Travel arrangements:

Air travel from Vienna to Timisoara: daily 13:45 and back 16:30 (Austrian airlines).

via Bucuresti: various (from Bucuresti to Timisoara by plane - 1h or by train - 10 h).

via Budapest: various (from Budapest to Timisoara by plaine - 1h or by train - 7h or by bus - 5h).


The city of Timisoara hosts several prestigious academic institutions (the West University,
the "Politehnica" University, the University of Medicine, 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:

Social programme:
   A social programme including visits to the historical city, museum, and possibly a trip to Danube river / center of Romania / wine cave - depending on the programme and wishes of the participants.

Address for correspondence 
     SYNASC 2004
     West University 
     Dept. of Computer Science 
     Bd. V. Parvan 4, 1900 Timisoara, Romania 
     tel./fax: + (40) 256 494002 


  Additional info: 

Copyright (C) 2001-2004 Department of Computer Science, email: