Following great success of the first and second International
Symposium on High Confidence Software (ISHCS
2012), ISHCS 2013 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
and the Program Co-Chairs are Tao
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 (to be available soon).
If you have any questions, please contact the
Symposium Chair: Hong Mei (Peking University, China)
Poster/Demo Chair: Yingfei Xiong (Peking University, China)