Report on the international symposium on high confidence software (ISHCS 2011/2012)

Abstract

To provide a forum for researchers in related research areas to address the challenges in high confidence software, exchange ideas, and foster collaborations, the Institute of Software and Key Laboratory of High Confidence Software Technologies (Ministry of Education) at Peking University hosted and sponsored the International Symposium on High Confidence Software in 2011 and 2012. The symposium consisted of a series of invited talks from internationally known researchers on the symposium topic, discussion/panel sessions, and poster sessions to enable substantial interactions among attendees.