The Resilient Software Systems Colloquium will be held on June 17, 2025 at the Hyatt Regency Crystal City at Reagan National Airport in Arlington, VA.
The Resilient Software Systems Colloquium website event will require:
1. Registration in the Resilient Software Systems Colloquium website - Registration
2. Completion of the Payment -
Payment Check
3. DARPA Form 60s are required for Foreign Nationals/Permanent Residents - DARPA Form 60
DARPA Form 60s are required for Foreign Nationals / Permanent Residents in order to attend.
Foreign government officials must submit their visit request through their respective embassy in Washington D.C. by May 27, 2025 at 5pm EDT.
Attendees will be required to present valid, government-issued, photo identification that is compliant with the REAL ID Act of 2005 at check-in. This may be a Real ID compliant Driver's License, U.S. Permanent Resident card, and/or U.S. passport/passport card, federally issued Personal Identification Verification (PIV) card or foreign government-issued passport. NOTE: You will be denied entry if you do not have a valid, REAL ID Act compliant form of identification.
Agenda
**Agenda information below is subject to change. Current as of April 28, 2025**
Updated 2025-04-28
| TIME |
EVENT |
| |
| 7:00 AM - 8:30 AM |
Registration & Networking Breakfast |
| 8:30 AM - 8:45 AM |
Welcome
Whitney Mason, Acting Deputy Director at DARPA
|
| 8:45 AM - 9:15 AM |
External Keynote - Details forthcoming
|
| 9:15 AM - 9:45 AM |
External Keynote - Details forthcoming
|
| 9:45 AM - 10:30 AM |
DARPA Keynote & Announcement
Kathleen Fisher, Information Innovation Office (I2O) Director
|
| 10:30 AM - 11:00 AM |
Poster Session & Networking Break
Meet formal methods tools developers and explore solutions available to address a wide variety of cybersecurity issues. Interested formal methods tool developers can request a slot through the Registration page. Participation in the poster session is limited to industry formal methods developers and academia registrants only.
Poster session nominations will be accepted until noon ET on May 26. Space is limited, and while we welcome all interest, we may not be able to accommodate all requests.
Participation in the Poster Session does not imply endorsement by DARPA of the tools, techniques or solutions.
|
| 11:00 AM - 11:30 AM |
Amazon's Formal Methods Journey
Mike Hicks, Senior Principal Scientist at Amazon Web Services
|
| 11:30 AM - 12:15 PM |
Panel: Using Formal Methods: Government Transition Success Stories
- Moderated by Dr. Matt Turek, DARPA I2O Deputy Director
Panelists:
- Oren Edwards, United States Air Force Chief Engineer, Medium Altitude UAS Division with the Intelligence, Surveillance, Reconnaissance and Special Operations Forces Directorate
- Philip Johnson-Freyd, Digital Foundations & Mathematics Chief Subject Matter Expert: Cybersecurity and Digital Assurance TEN, Sandia National Laboratories
|
| 12:15 PM - 1:45 PM |
Networking Lunch
|
| 1:45 PM - 3:30 PM |
Deep Dive into Formal Methods Tools, Techniques and Opportunities - Focusing on Authority to Operation (ATO), Parsers and Separation Kernels
Featuring DARPA Program Managers:
- Matthew Wilding
- Stephen Kuhn
- Howard Shrobe
- Dan Wallach
With demonstrations by DARPA performers (to be announced)
|
| 3:30 PM - 4:00 PM |
Poster Session & Networking Break
|
| 4:00 PM - 4:30 PM |
Panel: DOD's Role in Enabling Wide-Spread Formal Methods Adoption
-
Moderated by Dr. Benjamin Bishop, DARPA Adaptive Capabilities Office-Transition Deputy Director
- 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))
- Mitch Crosswait, PTDO Principal Deputy Director, Operational Test & Evaluation
- Forest Shull, Principal Director for Advanced Computing and Software at the Office of the Under Secretary of Defense for Research and Engineering
|
| 4:30 PM - 4:45 PM |
Closing Remarks
DARPA I2O Director, Kathleen Fisher
|
| 5:00 PM - 6:30 PM |
Networking Reception |