SYNASC03 Pictures


5th International Workshop on 
Symbolic and Numeric Algorithms for Scientific Computing 
Timisoara, Romania 
October 1 - 4, 2003 

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

The workshop will be an interaction forum 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 for submissions to SYNASC:    

  • 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;
  • formal system verification.

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  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.

A special session on Computer-Aided Verification of Information Systems (CAVERIS) will be organized.

The official language of the workshop is English.


The submissions will be accepted according to their quality and relevance to the  conference topics.
The proceedings (with ISBN) will be available at the workshop. 
The papers must be written in English. 

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-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. 


      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:

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 
Mircea Marin, Japan 
Marius Minea, Romania

Vasile Palade, Anglia
Petru Pau, Austria 
Bazil Parv, Romania   
Eugene Roventa, Canada          Luminita State, Romania
Marie-Claude Thomas, France            Ioan Tomescu, Romania
Brigitte Trousse, France 
Dan Tufis, Romania
Ferucio Laurentiu Tiplea, Romania
Lucia Vaina, USA 
Helmut Veith, Austria 


Authors are invited to submit papers electronically by e-mail to

 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
 (text width 12.2cm, text height 19.3 cm, 12 points).
 Extended abstracts (3 - 4 pages) will be also accepted.
 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:

     Submission deadline extended: July 15, 2003    

     Notification of acceptance: August 11, 2003

     Final paper: September 1, 2003  (LaTeX source of final versions will be required)

     Registration: September 7, 2003

     Workshop starts: October 1, 2003

Special session on "Computer-Aided Verification of Information Systems" - CAVERIS

Session description

           Software is becoming increasingly complex and there is a growing
awareness within software engineering practice that formal
verification techniques are helpful in dealing with this growing
complexity.  As formal verification becomes increasingly used in
the industry as a part of the design process, there is a constant
need for efficient tool support to deal with real-size
applications.  In particular, formal verification is finding its
way into areas such as embedded systems as used in consumer
electronics, time dependent systems occurring in safety critical
systems and communication protocols from the telecommunication

The session aim is to reveal the current state-of-the-art in the
field and the degree in which the research results are applied in
practice. Theoretical results, algorithms and case studies are
equally welcome. The session will consist of invited presentations
by leaders in the field and a selection from the submitted papers.

      Topics include, but are not limited to, the following areas:
              - formal verification
              - automated reasoning
              - model checking
              - formal and symbolic methods
              - deductive verification
              - temporal logic
              - compositional reasoning
              - abstraction, symmetry and induction
              - tools and case studies
              - industrial applications

Invited speaker
     Helmut Veith (TU Wien, Austria)

Submission of Papers
            All  paper  submissions  will  be handled electronically and should be
            prepared according to SYNASC'03 instructions.
            Full papers accepted for presentation will be available in the form of
            a special proceeding of CAVERIS (with ISBN) during the workshop.

            Papers should be submitted according SYNASC deadlines to
            Session chair:       
                     Dana Petcu (RO)
            Program chair:       
                     Marius Minea (RO)       

Organizing Committee:

     Alexandru Cicortas   
     Lucian Cucu 
     Mircea Dragan
     Diana Dubu 
     Florin Fortis 
     Cornel Izbasa  

     Ciprian Jichici
     Laura Kovacs
     Silviu Nanau 
     Daniel Pop 
     Horia Popa 
     Adriana Popovici   

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 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, trip to the Cave of the Bears or to the Dracula castle etc. will be planned in detail depending on the programme and wishes of the participants. 

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


  Additional info: 

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