Grounded Reasoning and Artificial Intelligence for National Security (GRAINS) Workshop
Idaho National Laboratory (INL) and Sandia National Laboratories (SNL) invite you to participate in the Grounded Reasoning and Artificial Intelligence for National Security (GRAINS) Workshop, taking place Sep. 15–17, 2026, in Idaho Falls, Idaho.
This workshop brings together experts from industry, academia, federally funded research laboratories and the U.S. Government to explore how rapidly evolving formal methods can be applied to modern AI-enabled systems. Discussions will focus on strengthening the security and resilience of U.S. critical infrastructure and national security domains.
The workshop aims to foster cross-disciplinary collaboration, inspire forward-looking dialogue and catalyze actionable solutions addressing emerging challenges and opportunities at the intersection of AI and formal methods.
Registration is open through Aug. 28, 2026.
Workshop Schedule
September 15th – 16th
- Keynote Speakers
- Short Presentations
- Breakout Sessions
September 17th – Optional Tours
Optional half-day tour of select INL facilities:
- National Reactor Innovation Center Dome
- Hot Fuel Examination Facility
- Fuel Conditioning Facility
- Experimental Fuels Facility
The tour will conclude no later than 1:00 pm.
Workshop Objectives
The GRAINS Workshop is designed to:
- Promote collaboration across technical and policy communities
- Identify practical applications of formal methods in AI systems
- Highlight national security implications of emerging technologies
- Develop actionable strategies for advancing the field
Key Topics
Topics will focus on advancing practical applications of formal methods, including:
- Usable and scalable formal methods
- Integration of formal methods with AI workflows
- Applications in critical infrastructure and national security
Guiding Questions
Workshop discussions will center on four key questions:
- Who do you trust?
- Who is your adversary?
- What does AI mean in OT?
- When the AI on your system fails, behaves unexpectedly, or is compromised — what does your architecture actually do?
Who Should Attend
This workshop is intended for individuals with a focus on emerging AI technologies.
- Technical subject matter experts (SMEs)
- Policymakers and regulators
- Program managers
- Researchers and standards community members
- Professionals working in AI and national security domains
Participation & Registration
Attendance is in person only and limited to U.S. citizens.
- To support the workshop’s emphasis on shared learning and exchange of expertise, participants are invited to prepare a one-page white paper addressing one of the Key Topics identified in this call. These contributions will be incorporated into the workshop’s agenda. Please email your white paper to grains@inl.gov by August 28, 2026.
- Additional submission details will be provided after registration.
- Participant white papers will be published in the event’s annual report.
The GRAINS Workshop Committee Members
- Gregory Shannon, Idaho National Laboratory
- Jennifer Butler, Idaho National Laboratory
- Chris Harrison, Sandia National Laboratory
- Rob Armstrong, Sandia National Laboratory
- Doug Ghormley, Sandia National Laboratory
- Max Taylor, Boise State University
