Resilient Software Systems Colloquium

A strong, lethal military demands cutting-edge and resilient software to power every weapon and support system our U.S. warfighters depend on. Formal methods can be used precisely to neutralize cyber threats before they can materialize and harm U.S. interests. At the colloquium, DARPA and other presenters will demonstrate scalable formal methods tools that can secure systems and prove the absence of exploitable vulnerabilities across all DoD systems - today and into the future.

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 eliminate exploitable vulnerabilities from the systems our warfighters rely on.

Attendees will gain insights and forge connections with the leading minds in resilient software engineering, including DARPA and DOD leaders, technical experts, and program performers.

1. Date: Tuesday, June 17, 2025
2. Location: Hyatt Regency Crystal City, Arlington, VA
3. Time: 8:30 AM – 6:30 PM
4. Register: The deadline to register is May 26 at 12:00 PM ET via our event page.

Why You Should 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.