Date: October 9, 2026
Time: 3-4 p.m.
Speaker: Stefan Zetzsche, Applied Scientist, Automated Reasoning Group, Amazon Web Services
Title: Dogwood: Runtime Verification for AI Agents
Abstract: AI agents interact with the external world through tools, making tool calls a natural boundary at which to enforce safety policies. Dogwood is an open-source governance language for agents and their tools. It extends Cedar with temporal conditions based on Metric First-Order Temporal Logic (MFOTL), allowing policies to reason about recent events and sequences of actions rather than individual requests alone. This talk introduces Dogwood and its approach to bringing runtime verification to agent governance.
