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  SPIN 2021
Jul 12, 2021 7:00 pm - 6:00 am CDT

27th International Symposium on Model Checking of Software (SPIN 2021)

The 27th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software but does not exclude the analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation.

event

Visible to the public  SEFM 2021 - Virtual
Dec 06, 2021 7:00 am - Dec 10, 2021 6:00 pm CET

Software Engineering and Formal Methods (SEFM 2021)

Jointly organised in virtual mode by Carnegie Mellon University (US), Nazarbayev University (Kazakhstan) and University of York (UK)

The 19th edition of the International Conference on Software Engineering and Formal Methods will
be held between 6 and 10 December 2021.

event

Visible to the public  FormaliSE 2021
May 17, 2021 7:00 am - May 21, 2021 6:00 pm CEST

INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FormaliSE 2021)

FormaliSE 2021 will take place from May 17 2021 to May 21 2021, in Madrid, Spain, as a co-hosted conference of the International Conference on Software Engineering (ICSE2021)

event

Visible to the public  VECoS 2021
Nov 22, 2021 7:00 am - Nov 23, 2021 6:00 pm +07

15TH INTERNATIONAL CONFERENCE ON VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS

VECoS 2021 is planned to take place on 22-23 November 2021 at the Institute of Software, Chinese Academy of Sciences in Beijing, China (co-located with FM 2021).

event

Visible to the public  CyberSec 2021
Sep 01, 2021 7:15 am - Sep 03, 2021 7:15 pm EDT

event

Visible to the public  IEEE CNS 2021
Oct 04, 2021 7:00 am - Oct 06, 2021 7:30 pm EDT

The IEEE Conference on Communications and Network Security (IEEE CNS) is a conference series in the IEEE Communications Society (ComSoc) core conference portfolio and the only ComSoc conference focusing solely on cybersecurity. IEEE CNS provides a premier forum for security researchers, practitioners, policy makers, and users to exchange ideas, techniques and tools, raise awareness, and share experience related to all practical and theoretical aspects of cybersecurity.

event

Visible to the public  IEEE 5GWF’21
Oct 13, 2021 7:00 am - Oct 15, 2021 7:00 pm EDT

The 2021 IEEE 4th 5G World Forum (5GWF'21) seeks contributions on how to nurture and cultivate future network technologies and applications beyond 5G and how they can benefit society. This will be a virtual event similar to 5GWF'20 (view the 2020 Program for reference), but we are also planning an inperson event in Montreal, Canada that will be an official part of 5GWF'21. Physical attendance is not expected or required for authors and presenters, but those who live in or near Montreal are welcome at that in-person event pending local regulations for travel and social gatherings.

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