[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



                  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)