Theoretical aspects of cyber-physical systems.
event
Submitted by Anonymous on Wed, 07/22/2020 - 3:29pm
13th International Conference on Graph Transformation (ICGT 2020)
The use of graphs and graph-like structures as a formalism for specification and modelling is widespread in all areas of computer science as well as in many fields of computational research and engineering. Relevant examples include software architectures, pointer structures, state space graphs, control/data flow graphs, UML and other domain-specific models, network layouts, topologies of cyber-physical environments, and molecular structures.
event
Submitted by Anonymous on Wed, 07/22/2020 - 3:20pm
27th International Symposium on Model Checking of Software (SPIN 2020)
The 27th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software but does not exclude the analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation.
event
Submitted by Anonymous on Wed, 07/22/2020 - 1:18pm
Euromicro Conference on Digital System Design (DSD 2020)
The Euromicro Conference on Digital System Design (DSD) addresses all aspects of (embedded, pervasive and high-performance) digital and mixed HW/SW system engineering, covering the whole design trajectory from specification down to micro-architectures, digital circuits and VLSI implementations. It is a forum for researchers and engineers from academia and industry working on advanced investigations, developments and applications.
event
Submitted by Anonymous on Wed, 07/22/2020 - 12:50pm
31st International Conference on Concurrency Theory (CONCUR 2020)
The purpose of CONCUR 2020, the 31st International Conference on Concurrency Theory, is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.
forum
Submitted by Anonymous on Wed, 07/22/2020 - 11:09am
CALL FOR PAPERS
USENIX Security Symposium 2021
August 11-13, 2021 | Vancouver, B.C., Canada | https://www.usenix.org/conference/usenixsecurity21
Symposium Overview
The USENIX Security Symposium brings together researchers, practitioners, system administrators, system programmers, and others interested in the latest advances in the security and privacy of computer systems and networks. The 30th USENIX Security Symposium will be held August 11-13, 2021, in Vancouver, B.C., Canada.
event
Submitted by Anonymous on Wed, 07/22/2020 - 10:43am
17th International Conference on Future Networks and Communications (FNC 2020)
Research in networks and communication technologies requires very significant investments of stakeholders for enabling our future networking society. Research in network communication has made several possible innovations having a strong influence on people's lives. Mobile communications and the Internet are two outstanding examples.
forum
Submitted by Anonymous on Wed, 07/22/2020 - 9:16am
International Conference on Networking, Architecture, and Storage (NAS 2021)
Riverside, CA | May 2021 Date TBA
Topics of interest include, but are not limited to the following:
event
Submitted by Anonymous on Wed, 07/22/2020 - 9:00am
The 3rd International Conference on Science of Cyber Security (SciSec2020)
Postponed until August 2021. Stay tuned for dates.
