[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).
****************************************************