Conference · Workshop on Principles of Agentic Engineering
PAgE 2027
Official page- Type
- Conference
- Organisation
- Workshop on Principles of Agentic Engineering
- Location
- Mexico City, Mexico
- Submissions close
- 1 November 2026
- Found
- 26 September 2026
About this listing
Workshop on Principles of Agentic Engineering. Submissions close 2026-11-01. Held in Mexico City, Mexico. The formal methods and AI communities together on safe agentic engineering: tool-use specifications, agent verification and testing, runtime systems, and safety for multi-agent systems. Held with POPL 2027. Topics: formal methods, verification, programming languages, program synthesis. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 9 October 2026. Found via PLFM (pl-fm.github.io).