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)
_______________________________________________
Om mailing list
[email protected]
http://openmath.org/mailman/listinfo/om
