Communities
The CPS-VO Portal provides extensive support for Communities of Interest. Groups can be formed around a technical topic, event/workshop, or research project.
  • Formal Methods at Scale - East
    As an active and contributing member of the formal methods community the National Science and Technology Council's Special Cyber Operations Research and Engineering Subcommittee would like to invite you to attend a one-day meeting to discuss…
  • CPS Certification (CERT)
    To  discuss and identify research needs in the certifiable assurance of cyber-physical systems (CPSs), focusing on uncertainties associated with the verification and validation of the complex logic on which these CPSs rely, whether…
  • 2013 National Workshop on Energy Cyber-Physical Systems
    The National Science Foundation held the 2013 National Workshop on Energy CPS on December 16-17, 2013 at the Waterview Conference Center located at 1919 N. Lynn Street in Arlington, Virginia. This workshop offered a unique NSF perspective focusing on the…
  • 2012 CPS Curriculum/Education Workshop Planning Meeting
    This group is for planning the CPS Curriculum/Education Workshop sometime during the week of April 8-11, 2013 during CPSWeek in Philadelphia. This invitation-only planning meeting was held in Baltimore on Wednesday, October 24, 2012 (just before the…
  • UPenn - Assuring Medical Device CPS Safety and Reliability
    Medical device systems are a prime example of cyber-physical systems, featuring complex and close interaction of sophisticated treatment algorithms with the physical aspects of the system, and especially the patient whose safety is of the utmost concern…
  • Applied Verification for Continuous and Hybrid Systems
     Verification of continuous and hybrid systems is increasing in importance due to new cyber-physical systems that are safety- or operation-critical. This workshop addresses verification techniques for continuous and hybrid systems with a special…
  • Regulator task force on safety critical software for nuclear reactors
    Mission StatementTo co-ordinate and document regulators’ and safety authority experts’ technical viewpoints on the use of safety critical software for nuclear reactors, both existing and new build (membership is not restricted to regulators involved in…
  • 2019 NSF Cyber-Physical Systems Principal Investigators' Meeting
    The tenth annual Cyber-Physical Systems Principal Investigators' Meeting (CPS PI Meeting '19) was held Wednesday, November 20 (arrival night) - Thursday, November 21 & Friday, November 22 (meeting days) at the Crystal Gateway Marriott, located…
  • 2024 Cyber-Physical Systems Principal Investigators' Meeting
    The 2024 Cyber-Physical Systems Principal Investigators' Meeting (CPS PI Meeting '24) was held in person at Vanderbilt University's Student Life Center (SLC) located at 310 25th Ave. South, Nashville, TN 37212. The meeting dates were Wednesday…
  • Design Automation for CPS and IoT (DESTION 2022)
    The relentless growth of complexity and heterogeneity of CPS and IoT systems imposes major challenges on and offers new opportunities for design automation methods and tools. Intrinsic heterogeneity—the large span in size from small CPS appliances to…
  • Formal Methods at Scale
    In Fall 2019 the National Science and Technology Council's Special Cyber Operations Research and Engineering Subcommittee convened two one-day meetings to discuss successes and barriers, opportunities and challenges, in the (accelerating) use…
  • 2024 CPS-IoT Week Tutorial: Enhancing CPS Data Reproducibility
    Enhancing CPS Data ReproducibilityBrief descriptionThrough this interactive tutorial, participants will be taken through the process of taking their existing validation set, and producing both static and active ways for individuals to explore it onto the…
  • 2017 Secure and Trustworthy Cyberspace Principal Investigators' Meeting (SaTC PI Meeting '17)
    The third biennial Secure and Trustworthy CyberSpace (Principal Investigators’ Meeting (SaTC PI Meeting ’17) was held January 9-11, 2017 at the Crystal Gateway Marriott Hotel located in the Crystal City Community of Arlington, Virginia at 1700…
  • 2020 NSF CISE-SBE Virtual Roundtable on Harnessing the Computational and Social Sciences to Solve Critical Societal Problems
    The Virtual Roundtable on Harnessing the Computational and Social Sciences to Solve Critical Societal Problems is an invitation-only event jointly convened by the National Science Foundation directorates of Computer and Information Science and…
  • 2021 NSF Cyber-Physical Systems Principal Investigators' Meeting
    The 2021 Cyber-Physical Systems (CPS) Principal Investigators' (PI) Meeting was held from Wednesday, June 2 through Friday, June 4, 2021 in a virtual format.The PI meeting included keynote talks, panels, PI-led activities (lightning talks…
  • 2020 NSF CISE-SBE VR on Harnessing the Computational and Social Sciences to Solve Critical Societal Problems - PC Group
    The Virtual Roundtable on Harnessing the Computational and Social Sciences to Solve Critical Societal Problems is an invitation-only event jointly convened by the National Science Foundation directorates of Computer and Information Science and…
  • CPS Security Student Camps 2019
    Two 2019 summer camps were held </span>at the Vanderbilt University Institute for Software Integrated Systems in Nashvillle, Tennessee. The camps offered a hands-on curriculum that teaches cybersecurity, programming, and robotics. Students worked…
  • Workshop on Big Data Analytics in CPS: Enabling the Move from IoT to Real-Time Control
     Cyber-physical systems research to date has focused on the development of synergy and tight coupling of the physical and computational processes, vis-a-vis, the control of the system. However, this tight coupling is also enabling the accumulation…
  • DARPA iFAB Program
    The manufacture of complex cyber-physical systems is generally limited to two options: large scale manufacturing that is efficient at producing one known product quickly and repeatably, or prototype assembly of a single (or few) test article(s).  …
  • Foundations Of Resilient CybEr-physical Systems (FORCES)
    FORCES is designed to help protect the nation's critical infrastructure from attack and to ensure its robust, secure and efficient operation. Specifically, FORCES aims to increase the resilience of large-scale networked cyber-physical systems (CPS) in…
  • 2023 NSF-MOST Workshop on Cyber Physical Systems & Smart and Connected Communities
    Welcome In order to promote Taiwan and US bilateral cooperation, a follow up to the "2022 NSF-MOST Workshop on Cyber Physical Systems (CPS) & Smart and Connected Communities (SCC)” virtual meeting has been organized to be held in-person in…
  • Vanderbilt Digital Nights
    Vanderbilt Digital Nights Series(2020-2021)Welcome to the home page for the Vanderbilt Digital Nights Program! This series of events is sponsored by the Computational Thinking and Learning Initiative (CTLI), a group of interdisciplinary researchers from…