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.

Visible to the public CfP: ACM/IEEE DESTION 2020


The 2nd Workshop on Design Automation for CPS and IoT
April 21, 2020 in Sydney, Australia (part of CPS-IoT Week 2020)



Visible to the public  HoTSoS 2020
Apr 07, 2020 7:00 am - Apr 08, 2020 6:00 pm MST

7th Annual Symposium and Bootcamp on the Science of Security (HotSoS 2020)

HoTSoS is a research event centered on the Science of Security, which aims to address the fundamental problems of security in a principled manner.

The seventh annual HoTSoS event will be held April 7-8, 2020 in Lawrence, Kansas. HotSoS brings together researchers from diverse disciplines to promote advancement of work related to the science of security. The conference will feature a mix of invited talks, panels, tutorials, and refereed papers to be published by ACM.


Visible to the public  ARCS 2020
May 25, 2020 7:00 am - May 28, 2020 6:00 pm EDT

33rd International Conference on Architecture of Computing Systems (ARCS 2020)

The ARCS conferences series has over 30 years of tradition reporting leading edge research in computer architecture and operating systems. The focus of the 2020 conference will be on concepts and tools for incorporating self-adaption and self-organisation mechanisms in high performance computing.


Visible to the public  ACM-SAC 2020
Mar 30, 2020 7:00 pm - Apr 03, 2020 6:00 pm EEST

The 35th ACM/SIGAPP Symposium On Applied Computing (ACM-SAC 2020)

For the past thirty-four years, the ACM Symposium on Applied Computing (SAC) has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2020 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP).


Visible to the public  ICPE 2020
Apr 20, 2020 7:00 am - Apr 24, 2020 6:00 pm MDT

11th ACM/SPEC International Conference on Performance Engineering (ICPE 2020)

The International Conference on Performance Engineering (ICPE) originated eleven years ago from the fusion of an ACM workshop on software and performance prediction and a SPEC workshop focused on benchmarking and performance evaluation.


Visible to the public  HCSS 2020
May 05, 2020 7:00 am - May 07, 2020 6:00 pm EDT

The Twentieth Annual High Confidence Software and Systems Conference (HCSS 2020)

A world class community of researchers gather each year for a full week of High Confidence Software and Systems Conference activities that are structured to focus on new scientific and technological foundations that can enable entirely new generations of engineered designs that are becoming essential for effectively operating life-, safety-, security-, and mission-critical systems.


Visible to the public  SmartEdge'20
Mar 23, 2020 7:00 am - Mar 27, 2020 6:00 pm CDT

The Fourth International Workshop on Smart Edge Computing and Networking (SmartEdge'20)

In Conjunction with IEEE PerCom 2020



Visible to the public  ASPLOS 2020
Mar 16, 2020 3:30 pm - Mar 20, 2020 4:30 pm CET

25th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2020)

ASPLOS is the premier forum for interdisciplinary systems research, intersecting computer architecture, hardware and emerging technologies, programming languages and compilers, operating systems, and networking. The 25th ASPLOS will be held on March 16-20, 2020 in Lausanne, Switzerland, a beautiful town on the shores of Lake Geneva, conveniently located in the center of Europe, and at EPFL.


Visible to the public  ICDCN 2020
Jan 04, 2020 7:00 am - Jan 07, 2020 6:00 pm EST

21st International Conference on Distributed Computing and Networking (ICDCN 2020)

ICDCN is a premier international conference dedicated to addressing advances in Distributed Computing and Communication Networks. Over the years, it has become a leading forum for disseminating the latest research results in these fields. The 21st edition of this conference will be organized by the Department of Computer Science and Engineering and School of Mobile Computing and Communication, Jadavpur University,Kolkata, India.