[Prev][Next][Index][Thread]

SVV'03 Call for Papers




[ Submission deadline: September 15, 2003 ]

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

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

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, there will be an invited talk
(detailed information given below).

-----------------------------
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
                 svv03@comp.nus.edu.sg

The deadlines are as follows.

Submission deadline: September 15, 2003
Notification of Acceptance:  October 15, 2003
Final Version submission:  November 15, 2003

We plan to publish selected papers from the workshop as Electronic
Notes in Theoretical Computer Science (ENTCS). Note that ENTCS papers
should be at least 10 pages in ENTCS format.

-----------------------
Program Committee
--------------------------
Krzysztof R. Apt, CWI (Netherlands) and NUS (Singapore).
Giorgio Delzanno, University of Genova (Italy).
Maurizio Gabbrielli, University of Bologna (Italy).
Shriram Krishnamurthi, Brown University (USA).
Andreas Podelski, Max Planck Institute (Germany).
C.R. Ramakrishnan, SUNY Stony Brook (USA).
Wang Yi, Uppsala University (Sweden).

---------------------
Invited Speaker
------------------------

Ramesh Bharadwaj, Naval Research Laboratory (USA).

Talk Title: Rigorous Methods for Software Construction:
            Retrofitting "Engineering" into Software Engineering


--------------------------
Organizers
----------------------------
Sandro Etalle, University of Twente, Netherlands.
Supratik Mukhopadhyay, NASA IV&V and University of West Virginia, USA.
Abhik Roychoudhury, National University of Singapore (Workshop Co-ordinator).

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