Description

The format of the Second Romanian-Austrian Workshop on Computer Aided Verification of Information Systems will follow the pattern set by its predecessor, the CaVIS 2003, held in Timisoara, in February 12-13, 2003.

CaVIS 2004 will be dedicated to subject areas related to software verification.

The goal of this workshop is to encourage innovation in addressing complex issues that arise in software verification. The workshop is also intended as an open forum in the field of industry-applied research. Therefore an important goal of CaVIS 2004 is to foster communication and cooperation between research and industrial communities in IT. Papers from software industry are strongly encouraged.