Sandia National Laboratories

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.