Theoretical aspects of cyber-physical systems.
forum
Submitted by Anonymous on Fri, 07/24/2020 - 4:36pm
CALL FOR PAPERS
December 2-4, 2020 | Hong Kong | https://icpads2020.comp.polyu.edu.hk/
ICPADS 2020 provides an international forum for scientists, engineers and users to exchange and share their experiences, new ideas, and latest research results on all aspects of parallel and distributed systems. Contributions are solicited in all areas of parallel and distributed systems research and applications.
event
Submitted by Anonymous on Fri, 07/24/2020 - 4:29pm
26th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2020)
The 26th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2020) will be held in Hong Kong in December 2020. The conference provides an international forum for scientists, engineers and users to exchange and share their experiences, new ideas, and latest research results on all aspects of parallel and distributed systems. Contributions are solicited in all areas of parallel and distributed systems research and applications.
event
Submitted by Anonymous on Fri, 07/24/2020 - 3:50pm
25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020)
Over the past several years, we have seen a rapid rising emphasis on design, implement and manage complex computer systems which are present in every aspect of human activities, such as manufacturing, communications, defense, transportation, aerospace, hazardous environments, energy, and health care. The complex computer systems are frequently distributed over heterogeneous networks and processing large amount data.
event
Submitted by Anonymous on Fri, 07/24/2020 - 2:45pm
20th International Conference on Runtime Verification (RV 2020)
Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification.
forum
Submitted by Anonymous on Fri, 07/24/2020 - 2:32pm
CALL FOR PAPERS
42nd IEEE Symposium on Security and Privacy (SP 2020)
Since 1980 in Oakland, the IEEE Symposium on Security and Privacy has been the premier forum for computer security research, presenting the latest developments and bringing together researchers and practitioners. We solicit previously unpublished papers offering novel research contributions in any aspect of security or privacy. Papers may present advances in the theory, design, implementation, analysis, verification, or empirical evaluation and measurement of secure systems.
event
Submitted by Anonymous on Fri, 07/24/2020 - 2:15pm
41st IEEE Symposium on Security and Privacy (SP 2020)
Since 1980, the IEEE Symposium on Security and Privacy has been the premier forum for presenting developments in computer security and electronic privacy, and for bringing together researchers and practitioners in the field. The 2020 Symposium will mark the 41st annual meeting of this flagship conference.
The Symposium will be held on May 18-20, 2020, and the Security and Privacy Workshops will be held on May 21, 2020.
event
Submitted by Anonymous on Fri, 07/24/2020 - 1:12pm
The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN)
The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks.
event
Submitted by Anonymous on Thu, 07/23/2020 - 5:52pm
22nd International Conference on Information and Communications Security (ICICS 2020)
ICICS 2020 (the 22nd International Conference on Information and Communications Security) will be held in Copenhagen, Denmark, during 24-27 August 2020. It will be organized by Technical University of Denmark (DTU).
event
Submitted by Anonymous on Thu, 07/23/2020 - 5:45pm
The 23rd IEEE International Conference on Intelligent Transportation (ITST 2020)
The 2020 annual flagship conference of the IEEE Intelligent Transportation Systems Society (ITSS) will be held in Rhodes, Greece. The International Conference on Intelligent Transportation Systems (ITSC) welcomes papers and presentations in the field of Intelligent Transportation Systems, dealing with new developments in theory, analysis, simulation and modeling, experimentation, demonstration, case studies, field operational tests, and deployments.
event
Submitted by Anonymous on Thu, 07/23/2020 - 5:39pm
27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
Since 1994, the TIME International Symposium on Temporal Representation and Reasoning aims to bring together researchers in the area of temporal reasoning in Computer Science. TIME 2020 encompasses three tracks, but has a single program committee. The conference will be organized as a combination of technical paper presentations, keynote talks, and tutorials.
Invited Speakers
