PKU HCST PKU scenes

Home   |   Schedule   |   Invited Speaker Bios   | Venue/Hotel DirectionISHCS 2015  |  ISHCS 2013  |  ISHCS 2012  |  ISHCS 2011 

6th International Symposium on High Confidence Software (ISHCS 2016)

December 17-18, 2016, Zhongguanxinyuan, Beijing, China

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

Following great success of the first to the fifth International Symposium on High Confidence Software (ISHCS 2011, ISHCS 2012, ISHCS 2013, ISHCS 2015, Yet Another ISHCS 2015), ISHCS 2016 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, the Program Co-Chairs are Zhi Jin, Tao Xie and Lu Zhang

The symposium consists of a series of invited talks from internationally known researchers on the symposium topic and discussion/panel sessions to enable substantial interactions with attendees.

Here is the symposium schedule.

Here is the symposium location information (note that the symposium is open for participation registration by invitation only due to space limit) 

If you have any questions, please contact the symposium organizers.

Invited Speakers

Symposium Organizers

Symposium Chair: Hong Mei (Peking University, China)

Program Co-Chairs: Zhi Jin (Peking University, China), Tao Xie (University of Illinois at Urbana-Champaign, USA), and Lu Zhang (Peking University, China)

Program Committee

Web Chair: Yingfei Xiong, Peking University