Welcome to the home page of the Cyber-Physical Systems Virtual Organization

CPS Rising Stars Workshop 2023 - Call for Applications The second Cyber Physical Systems (CPS) Rising Stars Workshop, which is sponsored by the National Science Foundation, will be held at the University of Virginia (Charlottesville, VA) on May 31, 2023. This workshop aims to identify and mentor outstanding PhD students...
IEEE International Conference on Assured Autonomy (ICAA) Supported by Johns Hopkins University Applied Physics Laboratory & IEEE SMC (support applied for) Overview The IEEE International Conference on Assured Autonomy (ICAA) plans to address the gap that exists between theory-heavy autonomous systems and...
14th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2023) May 9-12, 2023 San Antonio, Texas, USA URL: https://iccps.acm.org/2023/     [IMPORTANT DATES]   Abstract registration: Oct 24, 2022 Paper submission: Oct 31, 2022 Decision notification: Jan 20, 2023 Camera-ready: Mar 10, 2023    ...
The HiPEAC conference is the premier European forum for experts in computer architecture, programming models, compilers and operating systems for general-purpose, embedded and cyber-physical systems. Areas of focus and integration include safety-critical dependencies, cybersecurity, energy efficiency and machine learning...
CALL FOR PAPERS - Deadline Extended to February 18! The 26th International Symposium On Real-Time Distributed Computing Nashville, Tennessee | May 23-25, 2023 | https://isorc.github.io/2023 Important Dates Main Track Extended submission deadline: Feb. 18, 2023 Acceptance notification April 4, 2023 Camera-ready...
The 29th edition of the SPIN symposium aims to bring together researchers and practitioners interested in automated tool-based techniques to analyze and model software for the purpose of verification and validation. We invite submissions presenting theoretical results, novel algorithms, tool development, and empirical...
18th International Federated Conference on Distributed Computing Techniques Jun 19-23, 2023 | Lisbon, Portugal | https://www.discotec.org/2023/ DisCoTec 2023 is one of the major events sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages...
12th Mediterranean Conference on Embedded Computing MECO (12th 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 modelling, analysis,...

Visible to the public 

Active Resources





Visible to the public 

  FEATURED COMMUNITIES  

Secure and Trustworthy Cyberspace (SaTC)
Community Forum

The Secure and Trustworthy Cyberspace (SaTC) Community Forum (or "SaTC Forum") is designed for users to have information about the research supported by the SaTC program at their fingertips for quickly accessing current and historical information about SaTC activities, research, reports, data, solicitations, and other information. 

 

Science of Security and Privacy Virtual Organization (SOS-VO)

The Science of Security Virtual Organization (SoS-VO) was established to provide a focal point for information about ongoing activities related to cybersecurity science and as a repository for significant research results. It emphasizes community development, information sharing, and interaction among researchers in the field.

  CPS-RELATED EVENTS  

DATE 2023 held April 17-19 in Antwerp, BE, brings together designers and design automation users, researchers and vendors as well as specialists in the hardware and software design, test and manufacturing of electronic circuits and systems.   HCSS iconCPS-IoT Week 2023 will be held May 9-12 on the Main Campus of UTSA. It brings together five top conferences, HSCC, ICCPS, IoTDI, IPSN, and RTAS, multiple workshops, tutorials, and competitions. HCSS iconHCSS 2023 will be held May 8-10. A world class community of researchers gather each year to focus on foundations that are becoming essential for effectively operating life–, safety–, security–, and mission–critical systems. 

Rising Stars 2023 will be held on May 31, 2023 at the University of Virginia in Charlottesville. This workshop aims to identify and mentor outstanding PhD students and postdocs who are interested in pursuing academic careers in CPS related areas. SPIN 2023 will take place April 26-27, co-located with ETAPS 2023 in Paris, France, brings together researchers and practitioners interested in automated tool-based techniques to analyze and model software for the purpose of verification and validation. FM 2023, held March 7-9 at University of Lübeck, Germany is the 25th international symposium in a series organized by Formal Methods Europe (FME) covering the development and application of formal methods in a wide range of domains.
 

Recent News

Announcements