
AI agents are being deployed in production, but are they safe, reliable, and trustworthy? PAgE @ PLDI'26 brings the formal methods and AI communities together to tackle this challenge! Submissions and attendance welcome. 🗓️New deadline: April 30 AoE 🔗pldi26.sigplan.org/home/page-2026


