CPS-IoT Week 2027, a premier international gathering for research in cyber-physical systems and the Internet of Things, will be held May 17–20, 2027, in Boulder, Colorado.
Bringing together researchers, practitioners, and industry experts from around the world, CPS-IoT Week provides a multidisciplinary forum for presenting new research, exchanging ideas, and exploring emerging challenges at the intersection of computing, communication, sensing, control, and physical systems.
The 19th NASA Formal Methods Symposium (NFM 2027) will be held May 11–13, 2027, at the University of Houston-Clear Lake in Houston, Texas. The annual symposium brings together researchers and practitioners from NASA, academia, industry, and the broader formal methods community to address challenges associated with assuring increasingly complex mission- and safety-critical systems.
The nomination window for the 2026 Competition is now open! NSA invites nominations of papers that show an outstanding contribution to cybersecurity science. A set of Distinguished Experts will review the nominations according to established criteria.
The twenty-sixth annual High Confidence Software and Systems (HCSS) Conference will be held May 11-13, 2026, at the Historic Inns of Annapolis in Annapolis, Maryland. We solicit proposals to present talks at the conference. If you are interested in offering a talk—or nominating someone else to be invited to do so—please upload an abstract of one page or less for your proposed talk or a one paragraph description of your nominee’s proposed talk by January 19, 2026.
Amazon Web Services (AWS) and Vanderbilt University invite your students to participate in the Mission Autonomy Hackathon, an immersive five-day event advancing innovation in autonomous systems. The hackathon will be held October 6–10, 2025, with sessions at Vanderbilt University in Nashville, TN.
Amazon Web Services (AWS) and Vanderbilt University invite your students to participate in the Mission Autonomy Hackathon, an immersive five-day event advancing innovation in autonomous systems. The hackathon will be held October 6–10, 2025, with sessions at Vanderbilt University in Nashville, TN.
The National Security Agency (NSA) has awarded the 12th Annual Best Scientific Cybersecurity Paper Competition to “Decoding Trust: Comprehensive Assessment of Trustworthiness in GPT Models.” The winning paper, authored by 19 researchers including Professors Dawn Song (UC Berkeley), Bo Li (UIUC), and Sanmi Koyejo (Stanford), proposes a groundbreaking evaluation framework for assessing the trustworthiness of large language models (LLMs) such as GPTs.
The National Security Agency has published their 2023 Cybersecurity Year in Review!
In an effort to be more transparent, the National Security Agency publishes an annual year in review sharing information regarding cybersecurity efforts that better equipped U.S. defenses against high priority cyber threats. NSA’s efforts to help secure the nation’s most sensitive systems also help your cybersecurity because NSA cascades these solutions through public guidance and engages with key technology providers to help them bolster the security of their products and services.
Amazon is seeking Ph.D. students working in automated reasoning, formal methods, and formal verification for its 2027 Applied Science Internship program.
The internships provide an opportunity for doctoral students to work alongside Amazon scientists on research applying automated reasoning to large-scale, real-world computing systems. Areas of application include cloud infrastructure verification, cryptographic assurance, AI safety, and formal guarantees for generative AI systems.
The 33rd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2027) will be held May 17–20, 2027, in Boulder, Colorado, as part of CPS-IoT Week 2027.
RTAS is a leading forum for research on systems with timing requirements. The symposium addresses the design, implementation, verification, validation, and evolution of predictable, dependable, and efficient computing systems.