News: Talk slides are linked from the schedule.
Following great success of the first International
Symposium on High Confidence Software (ISHCS 2011), ISHCS
2012 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.
If you have any questions, please contact the
Symposium Chair: Hong Mei (Peking University, China)