DARPA's Resilient Software Systems Colloquium
Date: Jun 17, 2025 6:00 am – Jun 17, 2025 5:30 pm
Location: Arlington, VA
DARPA's Resilient Software Systems Colloquium
RSVP by May 26
DARPA’s Information Innovation Office (I2O) invites you to the Resilient Software Systems Colloquium, an in-person event focused on addressing a growing national security imperative: securing the software that powers today’s critical systems.
- Event Date: Tuesday, June 17, 2025
- Location: Hyatt Regency Crystal City, Arlington, VA
- Time: 7:00 AM – 6:30 PM
- RSVP: Registration closes at 12:00 p.m. ET on May 26. Don’t miss your chance to be part of this crucial conversation.
Conversations will be held with leaders spanning the cyber research and engineering, acquisition, sustainment, policy, threat intelligence, and defense spectrum including:
- Theresa Beech, Principal Investigator, CAPSTONE Experimentation, NASA Goddard Space Flight Center
- Alexei Bulazel, Special Assistant to the President & National Security Council Senior Director for Cyber
- Mitch Crosswait, PTDO Principal Deputy Director, Operational Test & Evaluation
- Oren Edwards, United States Air Force Chief Engineer, Medium Altitude UAS Division with the Intelligence, Surveillance, Reconnaissance and Special Operations Forces Directorate
- Kathleen Fisher, Information Innovation Office (I2O) Director, DARPA
- Philip Johnson-Freyd, Chief Subject Matter Expert: Cybersecurity and Digital Assurance TEN, Sandia National Laboratories
- John J. Garstka, SES and Director for Cyber Warfare within the Office of the Deputy Assistant Secretary of Defense for Platform and Weapon Portfolio Management (PWPM), Office of the Under Secretary of Defense for Acquisition and Sustainment (OUSD(A&S))
- Mike Hicks, Senior Principal Scientist at Amazon Web Services
- John Hultquist, Chief Analyst, Google Threat Intelligence Group
- Newly added! Army Col. Richard Leach, Director of Intelligence, Defense Information Systems Agency (DISA)
- Newly added! Rob McHenry, Acting Director, DARPA
- Forest Shull, Principal Director for Advanced Computing and Software at the Office of the Under Secretary of Defense for Research and Engineering
- And Multiple DARPA Program Managers & Performers
Why Attend
Modern warfare depends on software. Yet, we continue to accept software that is vulnerable by design. It's time to break out of that mindset. The colloquium will demonstrate how formal methods—a mathematically grounded approach to software assurance—can eliminate exploitable vulnerabilities from the systems our warfighters rely on.
- Improve your cyber resilience: Learn how formal methods are improving DoD systems' security and how to apply these proven techniques.
- Connect with experts: Network with tool developers and a community pioneering these cutting-edge solutions.
- Shape the future of cybersecurity: Join the movement to make high-assurance formal methods the standard for impenetrable systems.
We hope to see you there!
Registration fees will be waived for Government & Active Duty Military Personnel.
Submitted by Regan Williams
on
DARPA's Resilient Software Systems Colloquium
RSVP by May 26
DARPA’s Information Innovation Office (I2O) invites you to the Resilient Software Systems Colloquium, an in-person event focused on addressing a growing national security imperative: securing the software that powers today’s critical systems.
- Event Date: Tuesday, June 17, 2025
- Location: Hyatt Regency Crystal City, Arlington, VA
- Time: 7:00 AM – 6:30 PM
- RSVP: Registration closes at 12:00 p.m. ET on May 26. Don’t miss your chance to be part of this crucial conversation.
Conversations will be held with leaders spanning the cyber research and engineering, acquisition, sustainment, policy, threat intelligence, and defense spectrum including:
- Theresa Beech, Principal Investigator, CAPSTONE Experimentation, NASA Goddard Space Flight Center
- Alexei Bulazel, Special Assistant to the President & National Security Council Senior Director for Cyber
- Mitch Crosswait, PTDO Principal Deputy Director, Operational Test & Evaluation
- Oren Edwards, United States Air Force Chief Engineer, Medium Altitude UAS Division with the Intelligence, Surveillance, Reconnaissance and Special Operations Forces Directorate
- Kathleen Fisher, Information Innovation Office (I2O) Director, DARPA
- Philip Johnson-Freyd, Chief Subject Matter Expert: Cybersecurity and Digital Assurance TEN, Sandia National Laboratories
- John J. Garstka, SES and Director for Cyber Warfare within the Office of the Deputy Assistant Secretary of Defense for Platform and Weapon Portfolio Management (PWPM), Office of the Under Secretary of Defense for Acquisition and Sustainment (OUSD(A&S))
- Mike Hicks, Senior Principal Scientist at Amazon Web Services
- John Hultquist, Chief Analyst, Google Threat Intelligence Group
- Newly added! Army Col. Richard Leach, Director of Intelligence, Defense Information Systems Agency (DISA)
- Newly added! Rob McHenry, Acting Director, DARPA
- Forest Shull, Principal Director for Advanced Computing and Software at the Office of the Under Secretary of Defense for Research and Engineering
- And Multiple DARPA Program Managers & Performers
Why Attend
Modern warfare depends on software. Yet, we continue to accept software that is vulnerable by design. It's time to break out of that mindset. The colloquium will demonstrate how formal methods—a mathematically grounded approach to software assurance—can eliminate exploitable vulnerabilities from the systems our warfighters rely on.
- Improve your cyber resilience: Learn how formal methods are improving DoD systems' security and how to apply these proven techniques.
- Connect with experts: Network with tool developers and a community pioneering these cutting-edge solutions.
- Shape the future of cybersecurity: Join the movement to make high-assurance formal methods the standard for impenetrable systems.
We hope to see you there!
Registration fees will be waived for Government & Active Duty Military Personnel.