CARVIEW

MOTORHOMES

Select Language

HTTP/2 200 content-type: text/html last-modified: Fri, 24 Feb 2023 18:17:09 GMT accept-ranges: bytes content-encoding: gzip vary: Accept-Encoding content-length: 2553 date: Sat, 17 Jan 2026 18:40:10 GMT server: LiteSpeed alt-svc: h3=":443"; ma=2592000, h3-29=":443"; ma=2592000, h3-Q050=":443"; ma=2592000, h3-Q046=":443"; ma=2592000, h3-Q043=":443"; ma=2592000, quic=":443"; ma=2592000; v="43,46" PAS 2012

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

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)

Original Source | Taken Source