BEGIN:VCALENDAR
VERSION:2.0
METHOD:PUBLISH
CALSCALE:GREGORIAN
PRODID:-//WordPress - MECv7.29.0//EN
X-ORIGINAL-URL:https://inl.gov/
X-WR-CALNAME:Idaho National Laboratory
X-WR-CALDESC:
X-WR-TIMEZONE:America/Boise
BEGIN:VTIMEZONE
TZID:America/Boise
X-LIC-LOCATION:America/Boise
BEGIN:DAYLIGHT
TZOFFSETFROM:-0700
TZOFFSETTO:-0600
TZNAME:MDT
DTSTART:20260308T030000
RRULE:FREQ=YEARLY;BYMONTH=03;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0600
TZOFFSETTO:-0700
TZNAME:MST
DTSTART:20261101T010000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-PUBLISHED-TTL:PT1H
X-MS-OLK-FORCEINSPECTOROPEN:TRUE
BEGIN:VEVENT
CLASS:PUBLIC
UID:MEC-89c13d94fe4a26814180fcbf2578e8ca@inl.gov
DTSTART;TZID=America/Boise:20260915T000000
DTEND;TZID=America/Boise:20260918T000000
DTSTAMP:20260508T133702Z
CREATED:20260508
LAST-MODIFIED:20260804
PRIORITY:5
SEQUENCE:1
TRANSP:OPAQUE
SUMMARY:Grounded Reasoning and Artificial Intelligence for National Security (GRAINS) Workshop
DESCRIPTION: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.\nThis 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.\nThe 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.\nRegistration is open through Aug. 28, 2026.\n					\n									Register for The GRAINS Workshop\n					\nWorkshop Schedule\n					Who do you trust?\n					Formal Verification for OT systems defending against\nmodern cyber threats and deployed AI workloads.				\nFor operational technology (OT) operators, AI raises the question of trust on two fronts simultaneously. Firstly, AI tools have materially expanded the adversary’s reach. Vulnerability discovery, exploit generation, and targeted attack capability are now accessible to any motivated individual. Edge devices and OT systems that were previously difficult targets face a broader and faster-moving threat environment.  Secondly, AI as a deployed workload introduces a different trust question: the AI running on your systems, and increasingly, the AI running your systems. Can they be trusted to keep operations running?\nIn this session, we outline how formal verification can address both fronts and deliver what OT operators actually need: greater efficiency and agility that comes from having confidence in their systems. For OT operators, this confidence ensures faster installation and update, and faster reaction to threats. The proven foundation provided by formal verification enables operators to demonstrate what has and has not changed — compressing approval cycles without reducing assurance and creating the conditions for workloads whose behaviour can be contained and, when necessary, safely removed.\nApplying FM isn’t magic and it’s not impossible. The keynote will look at frameworks for approaching this problem space and challenge participants to consider what a solution might look like in their context.\n					About Your Speaker				\nPresenter, Boyd Multerer brings a practitioner’s perspective to GRAINs. As one of the architects of the Xbox at Microsoft, Boyd built systems relied on by hundreds of millions of users, where the cost of getting trust wrong was immediate, and public. Now as CEO of Kry10, having spent seven years building formally verified operating infrastructure for OT and critical devices, he has worked from first principles on what it takes for software to be genuinely trustworthy in high-stakes environments.\n					Who do you trust?\n					Formal Verification for OT systems defending against\nmodern cyber threats and deployed AI workloads.				\nFor operational technology (OT) operators, AI raises the question of trust on two fronts simultaneously. Firstly, AI tools have materially expanded the adversary’s reach. Vulnerability discovery, exploit generation, and targeted attack capability are now accessible to any motivated individual. Edge devices and OT systems that were previously difficult targets face a broader and faster-moving threat environment.  Secondly, AI as a deployed workload introduces a different trust question: the AI running on your systems, and increasingly, the AI running your systems. Can they be trusted to keep operations running?\nIn this session, we outline how formal verification can address both fronts and deliver what OT operators actually need: greater efficiency and agility that comes from having confidence in their systems. For OT operators, this confidence ensures faster installation and update, and faster reaction to threats. The proven foundation provided by formal verification enables operators to demonstrate what has and has not changed — compressing approval cycles without reducing assurance and creating the conditions for workloads whose behaviour can be contained and, when necessary, safely removed.\nApplying FM isn’t magic and it’s not impossible. The keynote will look at frameworks for approaching this problem space and challenge participants to consider what a solution might look like in their context.\n					About Your Speaker				\nPresenter, Boyd Multerer brings a practitioner’s perspective to GRAINs. As one of the architects of the Xbox at Microsoft, Boyd built systems relied on by hundreds of millions of users, where the cost of getting trust wrong was immediate, and public. Now as CEO of Kry10, having spent seven years building formally verified operating infrastructure for OT and critical devices, he has worked from first principles on what it takes for software to be genuinely trustworthy in high-stakes environments.\nSeptember 15th – 16th\n\nKeynote Speakers\n\n					\n									• Boyd Multerer (see keynote details)\n					\n\nShort Presentations\nBreakout Sessions\n\nSeptember 17th – Optional Tours\nOptional half-day tour of select INL facilities: \n\nNational Reactor Innovation Center Dome\nHot Fuel Examination Facility\nFuel Conditioning Facility\nExperimental Fuels Facility\n\nThe tour will conclude no later than 1:00 pm.\nWorkshop Objectives\nThe GRAINS Workshop is designed to:\n\nPromote collaboration across technical and policy communities\nIdentify practical applications of formal methods in AI systems\nHighlight national security implications of emerging technologies\nDevelop actionable strategies for advancing the field\n\nKey TopicsTopics will focus on advancing practical applications of formal methods, including:\n\nUsable and scalable formal methods\nIntegration of formal methods with AI workflows\nApplications in critical infrastructure and national security\n\nGuiding QuestionsWorkshop discussions will center on four key questions:\n\nWho do you trust?\nWho is your adversary?\nWhat does AI mean in OT?\nWhen the AI on your system fails, behaves unexpectedly, or is compromised — what does your architecture actually do?\n\n					\n									Full Questions Breakdown\n					\nWho Should Attend\nThis workshop is intended for individuals with a focus on emerging AI technologies. \n\nTechnical subject matter experts (SMEs)\nPolicymakers and regulators\nProgram managers\nResearchers and standards community members\nProfessionals working in AI and national security domains\n\nParticipation & Registration\nAttendance is in person only and limited to U.S. citizens.\n\nTo 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 ( mailto:grains@inl.gov ) by August 28, 2026.\nAdditional submission details will be provided after registration.\nParticipant white papers will be published in the event’s annual report.\n\n					\n									Register for The GRAINS Workshop\n					\nThe GRAINS Workshop Committee Members\n\nGregory Shannon, Idaho National Laboratory\nJennifer Butler, Idaho National Laboratory\nChris Harrison, Sandia National Laboratory\nRob Armstrong, Sandia National Laboratory\nDoug Ghormley, Sandia National Laboratory\nMax Taylor, Boise State University\n\n
URL:https://inl.gov/events/grounded-reasoning-and-artificial-intelligence-for-national-security-grains-workshop/
ORGANIZER;CN=Idaho National Laboratory:MAILTO:info@inl.gov
CATEGORIES:National Security,Partnerships / Business Engagement
LOCATION:Idaho Falls, ID
ATTACH;FMTTYPE=image/jpeg:https://inl.gov/content/uploads/2026/05/47_GRAINS-Workshop-banner.jpg
END:VEVENT
END:VCALENDAR