PAS Home Page


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

The previous two seminars PAS 2012 and PAS 2013 were held in Beijing, China. PAS 2014 is part of the Federated Logic Conference (FLoC) and the Vienna Summer of Logic.

Detailed information on PAS 2014 can be found on the PAS 2014 website.

Call for Papers

Call for Papers