PAS 2012 - International Seminar on
Program Verification,
Automated Debugging and
Symbolic Computation
Beijing, China, October 10-12, 2012
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
- Malay K. Ganai (NEC Laboratories America, USA)
- Martin Giese (University of Oslo, Norway)
- John Harrison (Intel Corporation, USA)
- Tetsuo Ida (University of Tsukuba, Japan)
- Deepak Kapur (University of New Mexico, USA)
- Laura Kovács (Technical University of Vienna, Austria)
- Temur Kutsia (Johannes Kepler University, Austria)
- Alexander Letichevsky (National Academy of Sciences of Ukraine)
- Abhik Roychoudhury (National University of Singapore)
- Sorin Stratulat (University of Lorraine, France)
- Jinzhao Wu (Guangxi University for Nationalities, China)
- Andreas Zeller (Saarland University, Germany)
- Jian Zhang (Chinese Academy of Sciences)
- Chaochen Zhou (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 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):
- 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
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
- 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).
It is expected that a volume in connection with PAS 2012 will be published after the meeting.
Organizers
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)