PAS 2013 - Second International Seminar on

Program Verification, Automated Debugging and Symbolic Computation

Beijing, China, October 23-25, 2013

Registration | Schedule | JSC Special Issue

PAS 2013 will provide a forum for foreign and Chinese 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 short presentations.

Invited Speakers

If you are interested in attending this seminar and giving a 25-minute talk, please send the title and an abstract of your talk to the organizers by September 10, 2013. Your work addressing any issue about the influence and usage of symbolic computation in program verification and automated debugging will be considered for presentation at the seminar. Specific topics include (but are not limited to):

Registration, lodging and travel information will be sent to potential participants.

PAS 2013 is the sixth in a series of seminars, organized in China, on various subjects interacted with symbolic computation. The previous five seminars were on

It is expected that a volume in connection with PAS 2013 and 2012 will be published after the meeting.


Tudor Jebelean (RISC, Johannes Kepler University, Austria)
Wei Li (SKLSDE, Beihang University, China)
Dongming Wang (LIP6, CNRS-UPMC-INRIA, France)

Local Arrangements

Xiaoyu Chen (SKLSDE, Beihang University, China)
Jie Luo (SKLSDE, Beihang University, China)