PAgE

PAgE 2026 with PLDI 2026

AI-powered agents now run in production: they plan, call tools, and act on live services and data. Yet the formal methods foundations required to make these systems safe and reliable remain underdeveloped. Ensuring their correctness and reliability demands a new discipline we term agentic engineering that combines principles from programming languages, formal verification, and neuro-symbolic reasoning to analyze, ...