Resilient Software Systems Colloquium

DARPA’s Information Innovation Office is hosting the Resilient Software Systems Colloquium, an in-person event bringing together U.S. government mission partners, technologists, and members of the defense industrial base to address a growing national security imperative: building and maintaining secure, resilient software systems.

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 explore how formal methods—a mathematically grounded approach to software assurance—can be used to eliminate exploitable vulnerabilities from the systems our warfighters rely on.

• Date: June 17, 2025
• Location: Hyatt Regency Crystal City, Arlington, Va.
• Register by: May 26, 2025

Why Attend:

• 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.

Accepting Poster Session Requests: The colloquium’s poster sessions will feature cutting edge formal methods solutions that secure software systems. Interested formal methods tool developers can request a slot through the registration page. Posters nominations will be accepted until noon ET on May 26, 2025. Due to space limitations, not all submissions may be accommodated.

Visit the event site for complete details, including the latest agenda.

Register now