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.
forum
Submitted by Anonymous on Mon, 12/02/2019 - 4:49pm
ACM/IEEE DESTION 2020
CALL FOR PAPERS AND DEMOS
The 2nd Workshop on Design Automation for CPS and IoT
April 21, 2020 in Sydney, Australia (part of CPS-IoT Week 2020)
https://cps-vo.org/group/DESTION20
Overview:
event
Submitted by Anonymous on Thu, 01/09/2020 - 3:54pm
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.
event
Submitted by Anonymous on Thu, 01/09/2020 - 3:44pm
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.
event
Submitted by Anonymous on Thu, 01/09/2020 - 3:30pm
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).
event
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.
event
Submitted by Anonymous on Thu, 01/09/2020 - 2:47pm
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.
event
Submitted by Anonymous on Thu, 01/09/2020 - 2:40pm
The Fourth International Workshop on Smart Edge Computing and Networking (SmartEdge'20)
In Conjunction with IEEE PerCom 2020
Overview
event
Submitted by Anonymous on Thu, 01/09/2020 - 2:28pm
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.
event
Submitted by Anonymous on Wed, 01/08/2020 - 3:11pm
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.
