(Apologies if you receive multiple copies of this message) SECOND 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). ****************************************************