[Om] Program Verification, Automated Debugging and Symbolic Computation 2012, October 10-12, Beijing

[Dongming Wang]

                   PAS 2012 - International Seminar on
   Program Verification, Automated Debugging and Symbolic Computation
                   Beijing, China, October 10-12, 2012

                        http://pas2012.cc4cm.org/

Submission deadline for abstracts of contributed talks: August 31, 2012

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 Kovacs (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)
     Andrei Voronkov (University of Manchester, UK)
     Jinzhao Wu (Guangxi University for Nationalities, China)
     Andreas Zeller (Saarland University, Germany)
     Jian Zhang (Chinese Academy of Sciences)
     Chaochen Zhou (Chinese Academy of Sciences)

Organizers

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