BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//PLFM//Programming Languages and Formal Methods Calendar//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:PLFM: synthesis deadlines
X-WR-CALDESC:Submission deadlines for venues tagged synthesis.
REFRESH-INTERVAL;VALUE=DURATION:P1D
X-PUBLISHED-TTL:P1D
BEGIN:VEVENT
UID:page-2027-deadline-0@plfm
DTSTAMP:20261025T090816Z
DTSTART;VALUE=DATE:20261031
DTEND;VALUE=DATE:20261101
SUMMARY:PAgE 2027 deadline
DESCRIPTION:Workshop on Principles of Agentic Engineering\nDeadline: Oct 31
 \, 2026 · 23:59 AoE\nEvent: January 11\, 2027\nSource: https://popl27.sig
 plan.org/home/page-2027
LOCATION:Mexico City
URL:https://popl27.sigplan.org/home/page-2027
CATEGORIES:Workshop,Formal Methods,Verification,PL,Synthesis,Deadline
TRANSP:TRANSPARENT
END:VEVENT
END:VCALENDAR