PAS 2012 - International Seminar on

Program Verification, Automated Debugging and Symbolic Computation

Beijing, China, October 10-12, 2012

Registration | Schedule

This informal seminar 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 August 31, 2012. 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 2012 is the fifth in a series of seminars, organized in China, on various subjects interacted with symbolic computation. The previous four seminars were on

It is expected that a volume in connection with PAS 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)