PAS 2013

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

Beijing

Submissions:
Mar 31, 2014

http://pas2013.cc4cm.org/jsc-pas.html

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)

*****

Some Tags: symbolic, complexity, constraint solving, Automated Reasoning, Symbolic Computation, Synthesis, logic, constraint, model, Methodologies

Leave a Reply

  

  

  

You can use these HTML tags

<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>