PAgE
Sun 10 - Sat 16 January 2027 Mexico City, MexicoPAgE 2027 with POPL 2027AI-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, ... |
Mon 15 - Fri 19 June 2026 Boulder, Colorado, United StatesPAgE 2026 with PLDI 2026AI-powered agents are increasingly being deployed in production settings: they plan, call tools, maintain state, and act over live services and data. Yet the formal foundations needed to make these systems safe, reliable, and trustworthy remain underdeveloped. Ensuring correctness in these settings demands a new discipline, which we term agentic engineering: a research agenda that brings together ideas from progr ... |