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

Dongming Wang Dongming.Wang at lip6.fr
Mon Nov 25 23:36:24 CET 2013

        Special Issue of Journal of Symbolic Computation on
Program Verification, Automated Debugging and Symbolic Computation

                        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)

More information about the Om mailing list