Welcome to the home page of the Cyber-Physical Systems Virtual Organization
Upcoming Events
-
02/13/23 - 02/14/23
The AAAI's Workshop on Artificial Intelligence Safety
The accelerated developments in the field of...
more
-
02/27/23 - 03/01/23
29th IEEE International Symposium on High-Performance Computer Architecture (HPCA-29)
The 29th...
more
-
02/27/23 - 03/03/23
The Network and Distributed System Security Symposium (NDSS 2023)
The Network and Distributed...
more
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,...
Submitted by akarns on Tue, 07/25/2017 - 2:19pm
Submitted by akarns on Thu, 02/28/2019 - 2:33pm
FEATURED COMMUNITIES
|
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.
|
 |
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. |
|
 CPS-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 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
-
The 2022 prize of ARCH-COMP was awarded to PSY-TaLiRo. The jury, consisting of group leaders and workshop participants, appreciated the...
more
-
Amazon is developing new technology for its voice assistant Alexa, which will be able to mimic any human's voice, dead or alive, using less...
more
-
Law enforcement officials from almost a dozen countries teamed up to take down a virtual private service used by threat actors to...
more
Announcements
-
CPS Rising Stars Workshop 2023 - Call for Applications
The second Cyber...
more
-
CALL FOR PAPERS - Deadline Extended to February 18!
The 26th International...
more
-
CALL FOR PAPERS (Download PDF)
International Conference on Smart Computing (...
more
-
CALL FOR PAPERS
IEEE International Conference on Assured Autonomy (ICAA)...
more
