About PAS 2015

PAS 2015 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. The latter will be accepted by the program committee through a formal review process, and they can be further submitted to the post-proceedings of the seminar, which will be published as a special issue of the Journal of Symbolic Computation.

Specific topics for PAS 2015 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 seminars PAS 2012 and PAS 2013 were held in Beijing, China, and PAS 2014 was part of the Federated Logic Conference (FLoC) and the Vienna Summer of Logic.