Validation and Verification

Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
event

Visible to the public  GameSec 2020 (Online)
Oct 28, 2020 7:00 am - Oct 30, 2020 6:00 pm EDT

11th Conference on Decision and Game Theory for Security (GameSec 2020)

Modern societies are becoming dependent on information, automation, and communication technologies more than ever. Managing the security of the emerging systems, many of them safety critical, poses significant challenges.

event

Visible to the public  HoTSoS 2020 - Virtual
Sep 22, 2020 7:00 am - Sep 23, 2020 6:00 pm CDT

7th Annual Hot Topics in the Science of Security (HoTSoS) Symposium

September 22-24, 2020 | Virtually hosted by the University of Kansas | https://cps-vo.org/group/hotsos

wikipage

Visible to the public Verification Tools Main Wiki Page

forum

Visible to the public CfP: 33rd Euromicro Conference on Real-Time Systems (ECRTS'21)

CALL FOR PAPERS

33rd Euromicro Conference on Real-Time Systems (ECRTS'21)

ECRTS is the premier European venue in the area of real-time systems and, alongside RTSS and RTAS, ranks as one of the top three international conferences on this topic.

Owing to the uncertain pandemic outlook, ECRTS 2021 will be held online as a virtual conference on July 7-9, 2021.

event

Visible to the public  ECRTS '21
Jul 05, 2021 7:00 am - Jul 09, 2021 6:00 pm CEST

33rd Euromicro Conference on Real-Time Systems (ECRTS'21)

ECRTS is the premier European venue in the area of real-time systems and, alongside RTSS and RTAS, ranks as one of the top three international conferences on this topic.

Owing to the uncertain pandemic outlook, ECRTS 2021 will be held online as a virtual conference on July 7-9, 2021.

forum

Visible to the public CfP: The AAAI's Workshop on Artificial Intelligence Safety (SafeAI 2021)

The AAAI's Workshop on Artificial Intelligence Safety (SafeAI)

Feb 8/9, 2021 | Virtual @AAAI-21 | https://safeai.webs.upv.es/

Important DATES (Extended)

  • Paper Submission: Nov 9 - AOE time
  • Acceptance Notification: Nov 30 - AOE time
  • Camera Ready Version: Dec 15

SafeAI aims to explore new ideas on AI safety engineering, ethically aligned design, regulation and standards for AI-based systems.

event

Visible to the public  SafeAI 2021
Feb 08, 2021 7:00 am - Feb 09, 2021 6:00 pm EST

The AAAI's Workshop on Artificial Intelligence Safety (SafeAI)

Feb 8/9, 2021 | Virtual @AAAI-21

SafeAI aims to explore new ideas on AI safety engineering, ethically aligned design, regulation and standards for AI-based systems.

event

Visible to the public  Privacy + Security Forum - Spring 2021
May 24, 2021 7:00 am - May 26, 2021 6:00 pm EDT

Privacy + Security Forum - Spring 2021

The Privacy + Security Forum breaks down the silos of privacy and security by bringing together seasoned thought leaders. Sessions and workshops are rigorous and deliver practical takeaways for all participants throughout the conference. Forum speakers engage the highly experienced audience in discussion, scenarios, and hands-on activities.