Theoretical aspects of cyber-physical systems.
event
Submitted by Anonymous on Thu, 07/23/2020 - 4:26pm
7th International Workshop on Interplay of Model-driven and Component-based Software Engineering (ModComp 2020)
hosted by Models 2020 | http://modelsconference.org/
forum
Submitted by Anonymous on Thu, 07/23/2020 - 3:55pm
event
Submitted by Anonymous on Thu, 07/23/2020 - 3:33pm
event
Submitted by Anonymous on Thu, 07/23/2020 - 2:22pm
14th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2020)
The International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS) was created by an Euro-Med network of researchers in computer science.
event
Submitted by Anonymous on Thu, 07/23/2020 - 1:53pm
39th International Conference on Computer Safety, Reliability and Security
Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7), SafeComp has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems.
SafeComp is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications.
event
Submitted by Anonymous on Thu, 07/23/2020 - 1:44pm
11th International Conference on Formal Ontology in Information Systems (FOIS)
DEFINITION AND SCOPE
-----------------------------------
event
Submitted by Anonymous on Thu, 07/23/2020 - 12:33pm
27th Static Analysis Symposium (SAS 2020)
co-located with SPLASH 2020
Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area.
event
Submitted by Anonymous on Thu, 07/23/2020 - 12:26pm
26th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2020)
RTCSA 2020 is going to be held virtually due to COVID-19. The RTCSA conference series (now at its 26th edition) brings together researchers and developers from academia and industry for advancing the technology and the theory to design and develop time-sensitive applications.
event
Submitted by Anonymous on Thu, 07/23/2020 - 10:33am
Large disasters may ripple across cities, regions or even nationally through interconnected critical infrastructure systems.
Right now, many of those connections are invisible, making it very difficult to put effective mitigation strategies in place. Critical links are often uncovered too late, causing greater impacts to infrastructure and challenging recovery efforts on the ground.
Join us for the Resilience Week 2020 Symposium to discuss how private and public partners can work together to ensure a secure and reliable flow of energy across the nation.
event
Submitted by Anonymous on Wed, 07/22/2020 - 3:57pm
18th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2021)
The purpose of ICINCO 2021 is to bring together researchers, engineers and practitioners interested in the application of informatics to Control, Automation and Robotics. Four simultaneous tracks will be held, covering Intelligent Control Systems, Optimization, Robotics, Automation, Signal Processing, Sensors, Systems Modelling and Control, and Industrial Informatics.
