PKU HCST PKU scenes

Home   |   Schedule   |   Invited Speaker Bios   |   Posters  | Venue/Hotel Directions |

2011 International Symposium on High Confidence Software (ISHCS 2011)

December 16-17, 2011, Peking University, Beijing, China

Host: Institute of Software and Key Laboratory of High Confidence Software Technologies, Ministry of Education, Peking University

News: Presentation Slides are available on this page or the talk abstract page.

2011 International Symposium on High Confidence Software (ISHCS 2011) is to provide a forum for researchers in related research areas to address the challenges in high confidence software, exchange ideas, and foster collaborations. The symposium is hosted and sponsored by Institute of Software and Key Laboratory of High Confidence Software Technologies, Ministry of Education, Peking University, Beijing. The symposium chair is Hong Mei and the Program Co-Chairs are Tao Xie and Lu Zhang.   

The symposium consists of a series of invited talks from internationally known researchers on the symposium topic, discussion/panel sessions, and poster sessions (including posters from related researchers primarily from China) to enable substantial interactions among attendees.

Due to seating limit, participation of this symposium is by invitation only. If you have any questions, please contact the symposium organizers.

Invited Speakers

Symposium Organizers

Symposium Chair: Hong Mei (Peking University, China)

Program Co-Chairs: Tao Xie (Peking University, China/North Carolina State University, USA), Lu Zhang (Peking University, China)