Welcome
Overview
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.
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.
Important Dates
| Date | Event |
|---|---|
| May 26, 2025 at 12pm EDT | Payment deadline. Poster Session self-nominations are due. Registration closes. |
| May 27, 2025 at 5pm EDT | DARPA Form 60s are due for Non-U.S. Citizens. Please see Security page for more details. Foreign Government Official visit request submission deadline Hotel reservations group block closes. |
| June 17, 2025 | Resilient Software Systems Colloquium |
Download a Meeting Reminder
for this event. (ICS)
The registration fee for this event is $400.00 which includes continental breakfast, lunch and networking reception.
A valid state-issued Real ID compliant driver's license or passport (for foreign nationals) will be required at check-in.Total capacity for this event is limited. Any impacted attendees will be notified and fees refunded, as appropriate.
Credentialed media will be in attendance to report on the official programming.