2021

event

Visible to the public  Fall'21 Science of Security Quarterly Lablet Meeting
Nov 15, 2021 10:00 am - Nov 16, 2021 4:00 pm CST

Submitted by Katie Dey on Thu, 11/04/2021 - 12:10pm

The Fall'21 Science of Security Quarterly Lablet Meeting will be hosted by The University  of Kansas on November 15-16, 2021. The program agenda will include invited talks from Dr. Robert Runser (NSA) and Dr. Natarajan Shankar (SRI) as well as briefs from the Lablets. 

The meeting will be virtual. To gain access to the meeting, please register here: https://cps-vo.org/LabletQTRLY/2021/KU-register

Agenda

event

Visible to the public  2021 CPS Challenge
Jun 02, 2021 7:00 am - Jul 02, 2021 7:00 pm MST

Submitted by Anonymous on Wed, 06/02/2021 - 2:43pm

 

2021 CPS Challenge

"Lunar Lander ExoCam -- Earth Analog"

 

event

Visible to the public  2022 Bowie State University REU in Cybersecurity
May 31, 2022 7:00 am - Aug 05, 2022 6:00 pm EDT

Submitted by akarns on Fri, 06/03/2022 - 1:19pm

Research Experience for Undergraduates in Cybersecurity

Guy-Alain Amoussou, PhD; PI, Associate Provost, Division of Academic Academic Affairs & Provost

webform

Visible to the public 2022 NRI-FRR PI Meeting - Post Meeting Survey

Submitted by KNEW on Mon, 04/18/2022 - 8:27pm
file

Visible to the public Warren Hunt - Formal Methods at Scale

Submitted by WarrenAHuntJr on Thu, 02/03/2022 - 2:59pm. Contributor:
file

Visible to the public Ray Richards - Formal Methods at Scale

Submitted by raze on Thu, 02/03/2022 - 2:59pm. Contributor:
file

Visible to the public Peter OHearn - Formal Methods at Scale

Submitted by Anonymous on Thu, 02/03/2022 - 2:59pm. Contributor:
file

Visible to the public Kathleen Fisher - Formal Methods at Scale

Submitted by kfisher on Thu, 02/03/2022 - 2:59pm. Contributor:
file

Visible to the public Byron Cook - Formal Methods at Scale

Submitted by Byron Cook on Thu, 02/03/2022 - 2:58pm. Contributor: