News
  • Position Opening: Cyber-Physical Systems Program Director (CISE/CNS)
    The National Science Foundation (NSF) is seeking a qualified candidate for an Interdisciplinary (Cyber-Physical Systems Program Director) position within the Directorate for Computer and Information Science and Engineering (CISE), Division of Computer…
  • CfP: Design Automation for CPS and IoT (DESTION 2024)
    As part of the CPS-IoT Week 2024 (https://cps-iot-week2024.ie.cuhk.edu.hk/) premier international conferences, we are excited to invite you to submit your paper at the 6th international workshop on "Design Automation for CPS and IoT (DESTION 2024)".Call…
  • CPS-IoT Week 2025 Call for Hosting Proposals
    The Cyber-Physical Systems and Internet of Things (CPS-IoT) Week Steering Committee requests proposals to host the 2025 edition of this multi-conference event in the Americas. CPS-IoT Week is a premier academic event focused on presenting recent research…
  • CPS Rising Stars Workshop 2024 - Call for Applications
    The 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.
  • Call for Papers IEEE GreenTech
    Do you have a proposal for an academic or industry (company) session supporting green technologies you think would be valuable to include in the program for the 2024 IEEE Green Technologies Conference? We want to hear from you!
  • Call for Papers - ANT 2024
    The goal of the ANT-2024 conference is to provide an international forum for scientists, engineers, and managers in academia, industry, and government to address recent research results and to present and discuss their ideas, theories, technologies,…
  • Calls FM 2024
    FM 2024 is the 26th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The FM symposia…
  • Call for Papers - NULLCON 2024 - BERLIN
    Nullcon is an annual security conference held in Goa, India and after having success for so many years we are also bringing the same awesome experience to Berlin. The focus of the conference is to showcase the next generation of offensive and defensive…
  • CPS-VO Major Site Upgrade
    We are pleased to announce the transitioning of the CPS VO to a more current version of the open-source content management system, Drupal 9. With the next instantiation of the VO, we are moving to a multi-site architecture. This structure enables…
  • Center for Autonomy collaborates with universities to host undergraduate autonomous technology research program
    Raiyan Shaik, Senior News ReporterSeptember 3, 2023The Center for Autonomy at the Oden Institute hosted a new research program for undergraduates over the summer, providing students with the opportunity to gain experience in autonomous technology…
  • NSF Dear Colleague Letter: Centers of Research Excellence in Science and Technology (CREST Centers) in Social, Behavioral and Economic Sciences Research (NSF 23-158)
    September 26, 2023Dear Colleagues:This Dear Colleague Letter (DCL) encourages the submission of new CREST Center proposals focusing on social, behavioral and economic sciences research. The CREST program supports the creation of research centers that…
  • "Signal Jamming Defense Not up to the Task? These Researchers Have a Solution"
    As growing and maturing data services demand faster Internet speeds and operating systems call for better security, hackers and adversaries continue to interfere. For some, this involves infiltrating home and office wireless networks to steal personal or…
  • NSF Student Travel Grants for attending IEEE SmartComp 2023
    <p><span>A limited number of student travel grants are available for students from US-based institutions to attend SmartComp 2023. The travel award typically covers up to $1,250 of expenses, including registration, airfare, and lodging.…
  • The 2022 prize of ARCH-COMP was awarded to PSY-TaLiRo.
    <p>The 2022&nbsp;prize of ARCH-COMP was awarded to PSY-TaLiRo. The jury, consisting of group leaders and workshop participants, appreciated the technical achievements embodied in PSY-TaLiRo and furthermore recognised the long and continuous…
  • ARCH 2021 Best Result Award
    The ARCH 2021 Best Result Award goes to Katherine Cordwell, Aditi Kabra, Jonathan Laurent, Stefan Mitsch, Andre Platzer, William Simmons, Yong Kiam Tan, and Noah Abou El Wafa (in alphabetical order) for their verification tool KeYmaera X. The award comes…