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:20260610
PRIORITY:5
SEQUENCE:1
TRANSP:OPAQUE
SUMMARY:Grounded Reasoning and Artificial Intelligence for National Security (GRAINS) Workshop
DESCRIPTION:OverviewIdaho 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.\nSchedule September 15th and 16th\n\nKeynote Speakers\nShort Presentations\nBreakout Sessions\n\nSeptember 17th, optional tours\nOptional half-day tour of select INL facilities. The tour will conclude no later than 1:00 pm.\n\nNational Reactor Innovation Center Dome\nHot Fuel Examination Faciality\nFuel Conditioning Facility\nExperimental Fuels Facility\n\nWorkshop ObjectivesThe 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\nThe GRAINS Workshop committee members\n\nGregory Sannon, 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\nWho Should AttendThis 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\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\n\n\nWhat are the pragmatic success stories (technical and programmatic)?\nWhat are the gaps, challenges, and impediments, especially in AI systems?\nWhat does success look like in 1, 3, 5, and 10 years?\nWho should do what? (Action plans and responsible stakeholders)\n\n\n\nParticipation & SubmissionAttendance 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 3, 2026.\nAdditional submission details will be provided after registration.\n\n					\n									Register here\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