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

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

 

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

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

file

Visible to the public Warren Hunt - Formal Methods at Scale

file

Visible to the public Ray Richards - Formal Methods at Scale

file

Visible to the public Peter OHearn - Formal Methods at Scale

file

Visible to the public Kathleen Fisher - Formal Methods at Scale

file

Visible to the public Byron Cook - Formal Methods at Scale