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.
  • 2019 Secure and Trustworthy Cyberspace Principal Investigators' Meeting (SaTC PI Meeting '19)
    The fourth biennial NSF Secure and Trustworthy CyberSpace Principal Investigators’ Meeting (SaTC PI Meeting ’19) was held Monday, October 28 starting at 8:00 a.m. through 3:30 p.m. Tuesday, October 29, 2019 at the Hilton Alexandria Mark Center…
  • Music City BEST Robotics
    BEST Robotics is a national non-profit organization providing middle and high school students with a FREE STEM Education program and competition for career and workforce development. BEST is an acronym for Boosting Engineering, Science and…
  • 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…
  • 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…
  • 2010 NSF Cyber-Physical Systems Principal Investigators' Meeting
    The first annual Cyber-Physical Systems Principal Investigators' Meeting was held August 10-12, 2010 at the Westin Arlington Gateway in Arlington, Virginia.The CPS Principal Investigator Meeting provides a forum for a wide range of stakeholders in…
  • Design Automation for CPS and IoT (DESTION 2021)
    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…
  • 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…
  • 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…
  • 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…
  • DARPA VehicleFORGE
    The VehicleFORGE platform is a web-based, collaborative design environment based loosely on the concept of modern day software ‘forges’ (e.g., SourceForge, forge.mil, etc.).  The purpose of VehicleFORGE within AVM is to provide a common platform for…
  • 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…
  • CPS Security Summer Camps '18
    About CPS Security Summer Camps '18The Cyber-Physical Systems (CPS) Summer Camps were a 5-day experience for highly-qualified students interested in the growing field of CPS Security. The camps will be held at the Vanderbilt University…
  • 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…
  • Vanderbilt ISIS Internship Program
     The Institute for Software-Integrated Systems is a professional research organization at the Vanderbilt University School of Engineering (located just off campus on Nashville's Music Row) and is engaged in various educational activities focusing on…
  • CPS Security Teacher Summer Camp 2019
    This Teacher Camp was held June 3-7, 2019 at Vanderbilt University Institute for Software Integrated Systems in Nashvillle, Tennessee. The camp offered a team-based, hands-on curriculum for teaching cybersecurity, distributed programming, and robotics.…
  • Next Big Research Challenges in Cyber-Physical Systems Workshop
    The National Science Foundation (NSF) initiated its Cyber-physical systems (CPS) program more than a decade ago. As a result, there have been many foundational solutions developed to address various research challenges in modeling, design and analysis of…
  • Secure and Trustworthy Cyberspace (SaTC) Community Forum
    Image The Secure and Trustworthy Cyberspace (SaTC) program funds fundamentally new, principled approaches to protect and defend cyberspace against harmful actions by determined adversaries, and to measure…
  • Design Automation for CPS and IoT (DESTION 2023)
    5th Workshop on Design Automation for CPS and IoT (DESTION 2023)One Day Workshop at IEEE/ACM CPS-IoT WEEK, May 9, 2023, San Antonio, Texas, USADESTION 2023 took place on May 9, 2023 as part of the CPS-IoT Week events.The target audience of DESTION 2023…
  • ASU SES230
    Instructor: Prof. Jnaneshwar Das (jdas5@asu.edu)Teaching Assistants: Sarah Bearman (sbearman@asu.edu), Zhiang Chen (zchen256@asu.edu)Credits: 3 unitsCourse OverviewA series of lectures and computer labs on data processing and analysis in Earth and Space…