The formalization of system engineering models and approaches.

Visible to the public  GameSec 2020 (Online)
Oct 28, 2020 7:00 am - Oct 30, 2020 6:00 pm EDT

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.


Visible to the public  GRAIC'23 Autonomous Racing Competition (with CPS-IoTWeek)
May 01, 2023 10:30 am - May 09, 2023 5:30 pm EDT

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.


Visible to the public  CPS&IoT’2023
Jun 06, 2023 7:00 am - Jun 10, 2023 7:00 pm EDT

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.


Visible to the public  EICS 2023
Jun 27, 2023 7:00 am - Jun 30, 2023 5:00 pm BST

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.


Visible to the public  NFM 2023
May 16, 2023 7:00 am - May 18, 2023 7:00 pm CDT

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.


Visible to the public  INCINCO 2022
Jul 14, 2022 7:00 am - Jul 16, 2022 7:00 pm WEST

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.