 |
 |
 |
|---|---|---|
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, ChinaHost: 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
- Shing-Chi
Cheung (Hong Kong University of Science and Technology,
China) talk
abstract/bio [slides]
- Yingnong Dang (Microsoft Research Asia, China) talk abstract/bio
- Zhenjiang Hu
(National Institute of Informatics, Japan) talk
abstract/bio [slides]
- Gang
Huang (Peking University, China) talk
abstract/bio [slides]
- Michael R.
Lyu (Chinese University of Hong Kong, China) talk abstract/bio
[slides]
- David
Rosenblum (National University of Singapore, Singapore)
talk
abstract/bio [slides]
- Zhong Shao (Yale University, USA) talk abstract/bio
- Zhendong Su
(University of California Davis, USA)
talk
abstract/bio [slides]
- Suresh Thummalapenta (IBM Research, India) talk abstract/bio [slides]
- Tao Xie
(Peking University, China/North Carolina State University,
USA) talk
abstract/bio [slides]
- Yun
Yang (Swinburne University of Technology, Australia) talk abstract/bio
[slides]
- Lu Zhang
(Peking University, China) talk
abstract/bio
- Dongmei
Zhang (Microsoft Research Asia, China) talk
abstract/bio [slides]
- Xiangyu
Zhang (Purdue University, USA) talk
abstract/bio [slides]
- Yuanyuan
Zhou (University of California San Diego, USA) talk
abstract/bio
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)