Program Verification, Automated Debugging and Symbolic Computation

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

• Alessandro Armando (University of Genova & FBK, Italy)
• Nikolaj Bjørner (Microsoft Research, USA)
• Adel Bouhoula (University of Carthage, Tunisia)
• Jin Song Dong (National University of Singapore)
• Hoon Hong (North Carolina State University, USA)
• Fairouz Kamareddine (Heriot-Watt University, UK)
• Deepak Kapur (University of New Mexico, USA)
• Jens Knoop (Vienna University of Technology, Austria)
• Boris Konev (University of Liverpool, UK)
• Laura Kovács (Chalmers University of Technology, Sweden)
• Dorel Lucanu (University of Iaşi, Romania)
• Marius Minea (Politehnica University of Timişoara, Romania)
• Wolfgang Schreiner (Johannes Kepler University, Austria)
• Kaile Su (Griffith University, Australia)
• Stephen M. Watt (University of Western Ontario, Canada)
• Wolfgang Windsteiger (Johannes Kepler University, Austria)
• Naijun Zhan (Chinese Academy of Sciences)

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):

• Theories and methodologies for program verification and testing
• Model checking, fault locating and program repairing
• Symbolic computation and automated reasoning for program verification
• Termination, correctness and complexity analysis of programs
• Automated program synthesis and transformation
• Logic and semantics for automated and algorithmic debugging
• Program debugging paradigms and techniques
• Symbolic constraint solving for verification and debugging
• Tools, prototypes, empirical and case studies

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

• Geometric Computation (Hefei, China, April 24-26, 2002), with a book published by World Scientific,
• Differential Equations with Symbolic Computation (Beijing, China, April 14-16, 2004), with a book published by Birkhäuser,
• Symbolic Computation in Education (Beijing, China, April 12-14, 2006), with a book published by World Scientific,
• Symbolic Real Algebra and Trustworthy Computing (Shanghai, China, April 3-5, 2008),
• Program Verification, Automated Debugging and Symbolic Computation (Beijing, China, October 10-12, 2012).

Organizers

Local Arrangements