Visible to the public 2016 HCSS ConferenceConflict Detection Enabled

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 The submission deadline is Friday, December 18, 2015.

Event Details
Annapolis, Maryland
Spotlight Slideshow Image: