PAS 2014 - Third International Seminar on Program Verification, Automated Debugging and Symbolic Computation

PAS 2014 will provide a forum for researchers and software developers actively involved or interested in developing, using, and applying methods and software tools of symbolic computation for program verification and automated debugging to exchange ideas and views, to review the state of the art and discuss prospects, to present research results and experiments, and to build up contacts for future cooperation. The scientific program of the seminar will feature invited talks and contributed presentations.
Specific topics for PAS 2014 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