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

Symbolic computation is the science of computing with symbolic objects, such as terms, formulae, programs, and representations of algebraic and geometric objects. Powerful symbolic methods and software systems have been developed and applied to many problems in science, technology, and engineering in the past decades. This special issue is devoted to promoting the development and application of methods and software tools of symbolic computation for program verification and automated debugging and to publishing significant research results and advances that have been achieved in relevant directions. Original research papers addressing all aspects of the influence and usage of symbolic computation in program verification and automated debugging and on the intersections of the three different yet interrelated areas of computer science are solicited.
The special issue, organized in connection with the two international seminars PAS 2012 and PAS 2013 on the same subject held in Beijing, China, is open for submissions from the seminar participants, as well as authors who did not attend any of the seminars.
Specific topics for the special issue include, but are not limited to the following:

Participants of PAS 2012 and 2013 are encouraged to submit full papers describing their work presented at the seminars for publication in this special issue. Other authors are also cordially invited to contribute to the special issue by submitting high-quality original research papers.
Papers submitted to this special issue must not have been published or simultaneously submitted for publication in other journals or refereed conference proceedings and must be written in English and include a well-written introduction addressing the following questions in succinct and informal manner:
All the main definitions, theorems, and algorithms should be illustrated by simple yet meaningful examples.
Authors should prepare their papers using LaTeX with the JSC template linked from and submit them via the EasyChair system at Received submissions will be peer-reviewed according to the standard refereeing procedure of the Journal of Symbolic Computation.
Important dates
Guest editors