Call for Papers SVV'03

CALL FOR PAPERS

***************************************************

International Workshop on Software Verification and Validation (SVV 2003)

In Conjunction with 
International Conf. on Logic Programming (ICLP) 2003

Mumbai (India), December 2003

URL: http://www.comp.nus.edu.sg/~abhik/SVV03/index.html

***********************************************

-------------------------------------- 
Topics Covered
--------------------------------------- 

The workshop will focus on theoretical techniques, practical methods
as well as case studies for verification of conventional and embedded
software systems. In particular, we welcome papers which describe
combinations of formal and informal reasoning, as well as formal
verification and program analysis techniques. Tool papers and case
studies, which report on advances in verifying large scale programs in
standard languages are particularly sought. The list of topics
include, but are not restricted to:

Tools/environments/case studies for large scale software verification