2013 HCSS Conference Planning Committee | Science of Security Virtual Organization

High Confidence Software and Systems Conference

A world class community of researchers gather each year 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 twenty-fourth annual High Confidence Software and Systems (HCSS) Conference will be held May 6-8, 2024.

Registration

2013 HCSS Conference Planning Committee

Program Co-chairs

Byron Cook, Microsoft Research
Ray Richards, Rockwell Collins

Steering Committee

Kathleen Fisher, DARPA
Helen Gill, National Science Foundation
John Launchbury, Galois, Inc.
Brad Martin, National Security Agency
Bill Scherlis, Carnegie Mellon University
Frank Seaton Taylor, National Security Agency
Tim Thimmesch, National Security Agency

Program Co-chairs

Steering Committee

Organizers