In an ever-changing cybersecurity world, innovation and creativity are key. Join RSAC 2024 and discover The Art of Possible as we collectively create works that will change our perspective on what we can accomplish. Let's celebrate limitless…

ICPS 2024 is to provide a forum to exchange research and innovation results, lessons learned from industrial practices, such as Cyber-Physical Systems, Digital Economy, the Industrial-Internet-of-Things and so on. The ICPS annually gathers together…

CPS-IoT Week is the premier event on Cyber-Physical Systems and the Internet-of-Things. It brings together five top conferences, HSCC, ICCPS, IoTDI, IPSN, and RTAS, multiple workshops, tutorials, and competitions.CPS-IoT Week 2024 will be held at the…

The 15th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) is set to convene in Hong Kong from May 13-16, 2024 as part of the CPS-IoT Week 2024.Cyber-physical systems (CPS) are societal-scale engineered systems that are built from, and…

OverviewThe ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI) is a premier venue on IoT. Continuing the tradition, IoTDI is part of CPS-IoT Week for 2024.Latest News[24/Aug/2023] Website for IoTDI 2024 launched!CPS…

Welcome to the home page of the 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2024). HSCC 2024 is the 27th in a series of conferences on all aspects of hybrid systems. It is dedicated to advancing design and analysis…

Eurocrypt 2024 will take place at Kongresshaus in Zurich, Switzerland on May 26-30, 2024. Eurocrypt 2024 is organized by the International Association for Cryptologic Research (IACR). The affiliated events will take place at ETH Zurich on May 25-26, 2024…

The 17th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2024 is intended to provide a common forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research…

Important DatesAbstract submission: December 1, 2023Full paper submission: December 8, 2023Notification, February 16, 2024Final version: March 15, 2024Conference: June 4-6 2024Call for PapersThe widespread use and increasing complexity of mission-…

The 26th International Symposium on Formal Methods will be held at Politecnico di Milano. Main conference: September, 11th – 13th, 2024 Workshops, Tutorials, etc.: September, 9th – 10th, 2024 Co-located Events: September, 9th – 11th, 2024 FM 2024 is…