[TYPES] SVV'04 call for papers

[Supratik Mukhopadhyay]

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

International Workshop on Software Verification and Validation (SVV 2004)

In Conjunction with
International Conf. on Formal Engineering Methods (ICFEM) 2004

Seattle (USA), November 2004

URL: http://www.comp.nus.edu.sg/~abhik/SVV04/

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

--------------------------------------
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

Static analysis/Abstract interpretation/Program transformations for
verification

Use of model checking and deductive techniques for software verification

Role of declarative programming languages (such as Prolog) for
infinite state verification.

Techniques to validate system software (such as compilers) as well as
assembly code/Java byte-code

Proof techniques for verifying specific classes of software
(such as object-oriented programs)

Integrating testing and run-time monitoring with formal techniques

Validation of UML diagrams, and/or requirement specifications

Software certification and proof carrying code

Integration of formal verification into software development projects


-------------------------------
Workshop Format
-----------------------------
The one day workshop will mostly involve talks of peer reviewed
research papers in an informal setting. We plan to have several
break-out sessions apart from the research paper sessions to promote
informal discussions. In addition,  an invited talk
is expected.
A previous version of the workshop (SVV'03) was held in Mumbai, India in
December 2003 in conjunction with the International Conference on Logic
Programming, 2003

-----------------------------
Submissions Information
------------------------------
Regular submissions should be no more than 15 pages. Short papers
(up to 5 pages) describing initial ideas are also welcome. All
submitted papers should be in PS or PDF. Please avoid using zip, gzip,
compress, tar etc. Papers should be submitted via e-mail to
                 supratik at saul.cis.upenn.edu

The deadlines are as follows.

Submission deadline: October 8, 2004
Notification of Acceptance:  October 22, 2004
Final Version submission:  November 1, 2004


-----------------------
Program Committee
--------------------------
Tevfik Bultan (University of California, Santa Barbara)
Michael Co'lon  (Naval Research Laboratory, USA)
Sandro Etalle (University of Twente, Netherlands)
John Goodenough (Software Engineering Institute, CMU, USA)
Sandeep Kumar Shukla (Virginia Tech USA)





--------------------------
Organizers
----------------------------
Ranesh Bharadwaj (Naval Research Laboratory, USA)
Supratik Mukhopadhyay,  University of
West Virginia, USA (Workshop Coordinator).
Abhik Roychoudhury, National University of Singapore.

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