SYNASC03 Pictures


Computer-Aided Verification of Information Systems

Special Session of


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

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)       

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