[Om] JSC special issue on Program Verification, Automated Debugging and Symbolic Computation

[Dongming Wang]

        Special Issue of Journal of Symbolic Computation on
Program Verification, Automated Debugging and Symbolic Computation
               http://pas2013.cc4cm.org/jsc-pas.html

                        CALL FOR PAPERS

Important dates

  - Submission of papers: March 31, 2014
  - Notification of acceptance: August 31, 2014
  - Publication of the special issue: Spring 2015

Specific topics (include, but are not limited to)

  - Theories and methodologies for program verification and testing
  - Model checking, fault locating and program repairing
  - Symbolic computation and automated reasoning for program verification
  - Termination, correctness and complexity analysis of programs
  - Automated program synthesis and transformation
  - Logic and semantics for automated and algorithmic debugging
  - Program debugging paradigms and techniques
  - Symbolic constraint solving for verification and debugging
  - Tools, prototypes, empirical and case studies

Guest editors

  - Tudor Jebelean (RISC, Johannes Kepler University, Austria)
  - Wei Li (SKLSDE, Beihang University, China)
  - Dongming Wang (LIP6, CNRS-UPMC-INRIA, France)