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.