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

July 17-18, 2014   ·   Vienna, Austria


Potential participants of PAS 2014 are invited to submit extended abstracts (2-4 pages) or full papers describing their work to be presented at the seminar. The submitted extended abstracts and full papers will be reviewed by the organizers for soundness and relevance to the seminar. Submission of original research papers is encouraged, while published material and work in progress will also be considered for presentation at the seminar. Electronic submissions are strongly preferred using EasyChair:

Accepted extended abstracts and full papers will be distributed at the seminar. Authors of the extended abstracts and full papers accepted for presentation at the seminar may be invited to submit their full and/or revised papers for publication in a post-proceedings volume or a journal special issue after the meeting. The submitted papers will be formally reviewed by external referees according to the standard refereeing procedure.