Opening remarks
summary
Workshop defines an agent program as prompts, tool calls, memory, dynamic traces and highlights concrete challenges: traces that run for thousands of tool calls, inherent probabilistic nondeterminism where identical prompts yield different outputs, heavy external dependencies on tools and databases, and ambiguous specifications that resist executable contracts. Logistics note this first edition includes 10 contributed talks, 2 keynotes, 34 authors, 3 countries, 10 institutions and opens with a keynote on applying formal methods to AI.
AI-written summary · about
related talks
13mOpening of the Bootcamp
30mKeynote: Fireside Chat
07h 57mAI Agents Conference 2026 - Day 4
01h 05mPanel: Agentic SE & Open Source in the FMware Era – Toward Trustworthy, Context-Aware FMware
16mDay 1 Recap: What Practitioners Learned
56mFundamentals of Software Engineering In the age of AI
01h 26mAI Agents of Change: Creating, Reflecting, and Monetizing
46mDemystifying AI Agents