Synasc 2005 - Workshops - CAVIS 05


CAVIS 2005 

Computer-Aided Verification of Information Systems

Special Workshop of

SYNASC 2005 

7th International Symposium on 
Symbolic and Numeric Algorithms for Scientific Computing 
Timisoara, Romania 
September 25 - 29, 2005 

Organized by:

Department of Computer Science
West University of Timisoara, Romania


http://www.math.uvt.ro

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

http://www.risc.uni-linz.ac.at


Research Institute e-Austria

http://www.ieat.ro


Workshop 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, as well as communication and security protocols.

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

     Topics:
    
      Topics include, but are not limited to, the following areas:
              - formal verification
              - specification and modeling
              - automated deduction
              - model checking
              - compositional methods
              - abstraction, symmetry and induction
              - embedded systems and software
              - computer security
              - tools and case studies
              - industrial applications


   
Submission of Papers
   
            All  paper  submissions  will  be handled electronically and should be
            prepared according to SYNASC'05 instructions.
 
            Papers should be submitted according SYNASC deadlines to
                                      
  synasc05@info.uvt.ro
     
   
    
Program chairs:                  

            Tudor Jebelean < tjebelea@risc.uni-linz.ac.at >
            Marius Minea   < marius@cs.utt.ro
>