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

forum

Visible to the public Call for Papers: Theme Issue on Formal Methods at Scale

CALL FOR PAPERS

Theme Issue on Formal Methods at Scale

S&P seeks submissions for this upcoming issue.

https://www.computer.org/digital-library/magazines/sp/call-for-papers-theme-issue-on-formal-methods-at-scale

forum

Visible to the public IEEE SMARTCOMP 2021: Call for Participation

                   IEEE SMARTCOMP 2021 .::. Call for Participation .::.
*********************************************************************************************************************
The 7th IEEE International Conference on Smart Computing (SMARTCOMP 2021), August 23-27, 2021.

Due to uncertainties associated with the pandemic, IEEE SMARTCOMP 2021 will be held as a virtual conference.

https://www.smart-comp.info

forum

Visible to the public 2 Postdoc Positions on “Design of Safe Autonomous Systems” @ University of Pennsylvania

------------------------------------------------------------------------------ 

   2 Postdoc Positions on “Design of Safe Autonomous Systems” 

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.