2016 HCSS Conference
Date: May 10, 2016 8:00 am – May 13, 2016 4:00 pm
Location: Annapolis, Maryland
URL: http://cps-hcss.org/
A world class community of researchers will gather in Annapolis, MD for a full week of High Confidence Software and Systems Conference activities that are structured to focus on new scientific and technological foundations that can enable entirely new generations of engineered designs that are becoming essential for effectively operating life-, safety-, security-, and mission-critical systems.
The sixteenth annual HCSS Conference will be held May 10-13, 2016 in Annapolis, Maryland. Daily themes for this year's program are Measuring Security, Proofs that Cross IP Boundaries, Programming and Reasoning with Uncertainty, and Verification of Autonomous and Adaptive Systems. The Call for Presentations can be found online at http://cps-vo.org/group/hcss_conference/cfp. The submission deadline is Friday, December 18, 2015.
Submitted by Katie Dey
on
A world class community of researchers will gather in Annapolis, MD for a full week of High Confidence Software and Systems Conference activities that are structured to focus on new scientific and technological foundations that can enable entirely new generations of engineered designs that are becoming essential for effectively operating life-, safety-, security-, and mission-critical systems.
The sixteenth annual HCSS Conference will be held May 10-13, 2016 in Annapolis, Maryland. Daily themes for this year's program are Measuring Security, Proofs that Cross IP Boundaries, Programming and Reasoning with Uncertainty, and Verification of Autonomous and Adaptive Systems. The Call for Presentations can be found online at http://cps-vo.org/group/hcss_conference/cfp. The submission deadline is Friday, December 18, 2015.