Past Events
Upcoming Events
Past Events
-
15TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMSMay 13, 2024 8:00 AM - May 16, 2024 5:00 PMThe 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…
-
IoTDI 2024 9th ACM/IEEE Conference on Internet of Things Design and ImplementationMay 13, 2024 8:00 AM - May 16, 2024 5:00 PMOverviewThe 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…
-
HSCC 2024 27th ACM International Conference on Hybrid Systems: Computation and ControlMay 14, 2024 8:00 AM - May 16, 2024 5:00 PMWelcome 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 2024May 26, 2024 6:00 AM - May 30, 2024 6:00 PMEurocrypt 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…
-
17th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2024May 27, 2024 6:00 AM - May 31, 2024 6:00 PMThe 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…
-
2024 CPS RISING STARS WorkshopMay 29, 2024 6:00 AM - May 29, 2024 5:00 PMThe 2024 Cyber-Physical Systems (CPS) Rising Stars Workshop, which is sponsored by the U.S. National Science Foundation and ACM SIGBED, will be held at the University of Virginia (Charlottesville, VA) on May 29, 2024.This workshop aims to identify and…
-
WiCyS | NICE Conference & ExpoJun 3, 2024 6:00 AM - Jun 5, 2024 4:00 PMJoin WiCyS at NICE Conference & Expo 2024 to connect with WiCyS members. Stop by our booth to meet our team, snag some swag, and learn more about WiCyS. Do not miss WiCyS Executive Director, Lynn Dohm along with President of N2K Simon Petrella for…
-
Infosecurity Europe 2024Jun 4, 2024 6:00 AM - Jun 6, 2024 4:00 PMInfosecurity Europe brings together the industry’s leading cybersecurity professionals to share their experiences and support others in overcoming network security challenges. The event is an opportunity to connect with experts and suppliers alike to…
-
NFM 2024 - NASA Formal Methods 2024Jun 4, 2024 8:00 AM - Jun 6, 2024 5:00 PMImportant 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-…
-
13th Mediterranean Conference on Embedded Computing (MECO)Jun 11, 2024 6:00 AM - Jun 14, 2024 4:00 PMMECO (13th Mediterranean Conference on Embedded Computing) is a project of very successful events in embedded and general computing dated from 2012. It is an International Scientific Forum aimed to present and discuss the leading achievements in the…
-
19th International Federated Conference on Distributed Computing Techniques (DisCoTec 2024)Jun 17, 2024 6:00 AM - Jun 21, 2024 4:00 PMDisCoTec is one of the major events sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS).DisCoTec 2024 will take place in Groningen, The Netherlands,…
-
7th KES International Symposium on Smart Transit SystemsJun 19, 2024 6:00 AM - Jun 21, 2024 4:00 PMModern transportation systems have been transforming rapidly in recent years. A series of vehicle technology innovations have blossomed in the past couple decades, just to mention a few examples, connected vehicles, self-driving cars, electric vehicles,…
-
2nd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems (VERDI 2024)Jun 24, 2024 6:00 AM - Jun 24, 2024 4:00 PMCo-located with the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)The VERDI workshop aims at serving as a discussion forum focused on the area of V&V as a means to guarantee dependability of complex,…
-
The 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)Jun 24, 2024 6:00 AM - Jun 27, 2024 4:00 PMOn behalf of the Organizing Committee, we extend you a warm welcome to the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2024), organised by The University of Queensland, Australia. Over the years DSN has become a…
-
First International Workshop on Choreographic Programming (CP 2024)Jun 24, 2024 6:00 AM - Jun 28, 2024 4:00 PMco-located with PLDI 2024Choreographies are coordination plans for concurrent and distributed systems. A choreography defines the roles of the involved participants and how they are supposed to work together. In the emerging paradigm of…
-
25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2024)Jun 24, 2024 6:00 AM - Jun 24, 2024 4:00 PMWelcome to the 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2024)!LCTES provides a link between the programming languages and embedded systems engineering communities. Researchers and…