<P> PAS 2015 - Fourth International Seminar on<BR>Program Verification, Automated Debugging and Symbolic Computation<BR> Beijing, China, October 21-23, 2015</P>
<P>Important Dates<BR> - Submission of abstracts August 15, 2015<BR> - Submission of papers/extended abstracts: August 20, 2015<BR> - Notification of acceptance or rejection: September 20, 2015<BR> - Final version due: October 10, 2015<BR> - Seminar taking place: October 21-23, 2015</P>
<P>Overview</P>
<P>PAS 2015 will provide a forum for researchers and software developers<BR>actively involved or interested in developing, using, and applying<BR>methods and software tools of symbolic computation for program<BR>verification and automated debugging to exchange ideas and views, to<BR>review the state of the art and discuss prospects, to present research<BR>results and experiments, and to build up contacts for future<BR>cooperation. The scientific program of the seminar will feature<BR>invited talks and contributed presentations.</P>
<P>Specific topics for PAS 2015 include (but are not limited to):</P>
<P> - Theories and methodologies for program verification and testing<BR> - Model checking, fault locating and program repairing<BR> - Symbolic computation and automated reasoning for program verification<BR> - Termination, correctness and complexity analysis of programs<BR> - Automated program synthesis and transformation<BR> - Logic and semantics for automated and algorithmic debugging<BR> - Program debugging paradigms and techniques<BR> - Symbolic constraint solving for verification and debugging<BR> - Tools, prototypes, empirical and case studies</P>
<P>The previous seminars PAS 2012 and PAS 2013 were held in Beijing, China,<BR>and PAS 2014 was part of the Federated Logic Conference (FLoC) and the<BR>Vienna Summer of Logic.</P>
<P><BR>Submission</P>
<P>Potential participants of PAS 2015 are invited to submit first half-page<BR>abstracts and then full papers or extended abstracts (3-5 pages) describing<BR>their work to be presented at the seminar. The submitted full papers and<BR>extended abstracts will be reviewed by the program committee for soundness<BR>and relevance to the seminar. Submission of original research papers is<BR>encouraged, while published material and work in progress will also be<BR>considered for presentation at the seminar. Electronic submissions are<BR>strongly preferred using EasyChair:</P>
<P><A href="https://easychair.org/conferences/?conf=pas20150" target="_blank">https://easychair.org/conferences/?conf=pas20150</A></P>
<P>Accepted full papers and extended abstracts will be distributed at the<BR>seminar. Authors of the full papers and extended abstracts accepted for<BR>presentation at the seminar will be invited to submit their full and/or<BR>revised papers for publication in the post-proceedings volume as a special<BR>issue of the Journal of Symbolic Computation (JSC) after the meeting.<BR>The submitted papers will be formally reviewed by external referees<BR>according to the standard refereeing procedure of JSC.</P>
<P><BR>Honorary Chair</P>
<P>Wei Li (Beihang University, China)</P>
<P><BR>Steering Committee</P>
<P>Hoon Hong (North Carolina State University, USA)<BR>Tudor Jebelean (Johannes Kepler University, Austria)<BR>Jens Knoop (Technical University of Vienna, Austria)<BR>Alexander Letichevsky (Cybernetics National Academy of Sciences, Ukraine)<BR>Wei Li (Beihang University, China)<BR>Dongming Wang (Beihang University, China and CNRS, France)</P>
<P>Program Chairs</P>
<P>Tudor Jebelean (Johannes Kepler University, Austria)<BR>Dongming Wang (Beihang University, China and CNRS, France)</P>
<P><BR>Program Committee</P>
<P>(to be announced)</P>
<P>Local Arrangements</P>
<P>Xiaoyu Chen (Beihang University, China)<BR>Aishan Liu ( Beihang University, China)<BR>Dan Song (Beihang University, China)</P>
<P>-------------------------------------------------------------<BR>If you do not wish to receive announcements from the<BR>Research Institute for Symbolic Computation (RISC),<BR>please send an e-mail to the following address:<BR><A href="mailto:secretary@risc.jku.at" target="_blank">secretary@risc.jku.at</A></P>