Strong Inference
Certain systematic methods of scientific thinking may produce much more rapid progress than others.
Science
16 October 1964, Volume 146, Number 3642
CMU SoS 2012 Quarterly Lablet PI Meeting
The third quarterly Science of Security lablet meeting was hosted by Bill Scherlis, at Carnegie Mellon University on Tuesday, July 17, 2012.
CMU SoS 2012 Quarterly Lablet PI Meeting
Carnegie Mellon University
Ninth Software Certification Consortium Meeting
The next Software Certification Consortium's (SCC) meeting will be an open, public workshop on May 6 & 7 co-located with the High Confidence Software and Systems (HCSS) Conference in Annapolis, Maryland.
HCSS was created to support the interchange of ideas among researchers, practitioners, and research managers from Government, research labs, and industry practice.
Twelfth Annual HCSS Conference
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.
First (2012) Science of Security Community Meeting
The National Security Agency held its first Science of Security (SoS) Community Meeting on November 29-30, 2012 at the Gaylord National Hotel and Convention Center in National Harbor, Maryland.
NSA Science of Security Lablet Pre-meeting
Initial NSA Science of Security Lablets meeting.