The formalization of system engineering models and approaches.
event
Submitted by Anonymous on Thu, 07/23/2020 - 3:46pm
11th Conference on Decision and Game Theory for Security (GameSec 2020)
Modern societies are becoming dependent on information, automation, and communication technologies more than ever. Managing the security of the emerging systems, many of them safety critical, poses significant challenges.
event
Submitted by mitras on Tue, 01/24/2023 - 9:50am
Generalized RAcing Intelligence Competition (GRAIC) is a simulated vehicle race co-located with CPS-IOT Week 2023. GRAIC brings together researchers in AI, planning, synthesis, and control to create a platform for comparing different algorithms for controlling vehicles in dynamic and uncertain environments.
tearline
Submitted by himanshu on Fri, 01/13/2023 - 4:24pm
event
Submitted by Anonymous on Thu, 12/08/2022 - 10:12am
11th International Conference on Cyber-Physical Systems
Contemporary Cyber-Physical Systems (CPS) are smart compound systems engineered through seamless integration of embedded information processing sub-systems and physical sub-systems. The modern smart collaborating CPS, that started to form the Cyber-Physical Systems of Systems (CPSoS) and Internet of Things (IoT), have important applications in virtually all economic and social segments, and their huge economic and societal impact rapidly increases. The CPS and IoT area undergoes a revolutionary development.
event
Submitted by Anonymous on Wed, 12/07/2022 - 3:11pm
Fifteenth international ACM SIGCHI Symposium on Interactive Computing Systems
EICS 2023 is the fifteenth international ACM SIGCHI conference devoted to engineering interactive computing systems and their user interfaces, addressing one or more software quality factors, such as usability, user experience, reliability, security, etc.
event
Submitted by Anonymous on Wed, 12/07/2022 - 1:03pm
NASA Formal Methods Symposium 2023
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is an annual forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.
tearline
Submitted by himanshu on Fri, 11/11/2022 - 2:56pm
tearline
Submitted by Katie Dey on Wed, 08/03/2022 - 10:41am
tearline
Submitted by himanshu on Fri, 07/08/2022 - 12:47pm
event
Submitted by Anonymous on Wed, 06/01/2022 - 9:57am
The purpose of the International Conference on Informatics in Control, Automation and Robotics (ICINCO) 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. Informatics applications are pervasive in many areas of Control, Automation and Robotics; This conference intends to emphasize this connection.
