| When | Track | What |
|---|---|---|
| Mon 8 Sep 2025 | POPL | Beginning of author response period |
| Wed 10 Sep 2025 | VMCAI | Paper Submission Deadline |
| Thu 11 Sep 2025 | POPL | End of author response period |
| Wed 17 Sep 2025 | VMCAI | Artifact Registration Deadline |
| Mon 22 Sep 2025 | VMCAI | Artifact Submission Deadline |
| Thu 2 Oct 2025 | POPL | Conditional Accept Decisions Announced |
| Wed 8 Oct 2025 | Dafny | Submission |
| Fri 10 Oct 2025 | PADL | Abstract submission |
| Fri 17 Oct 2025 | PriSC | Submission Deadline |
| Fri 17 Oct 2025 | PADL | Paper submission |
| Fri 24 Oct 2025 | TPSA | Submission Deadline |
| Fri 24 Oct 2025 | RocqPL | Submission Deadline |
| Fri 24 Oct 2025 | PEPM | Submission Deadline |
| Thu 30 Oct 2025 | LAFI | Submission Deadline |
| Fri 31 Oct 2025 | PLanQC | Submission deadline |
| Thu 6 Nov 2025 | WITS | Submission Deadlineupdated |
| Thu 6 Nov 2025 | VMCAI | Notification |
| Wed 12 Nov 2025 | Dafny | Notification |
| Thu 13 Nov 2025 | PADL | Notification to authors |
| Thu 20 Nov 2025 | VMCAI | Camera Ready |
| Fri 21 Nov 2025 | RocqPL | Notificationnew |
| Sun 23 Nov 2025 | PADL | Final version |
| Thu 27 Nov 2025 | LAFI | Notification to Authorsnew |
| Fri 28 Nov 2025 | PLanQC | Notification deadlinenew |
| Mon 1 Dec 2025 | WITS | Notificationnew |
| Sun 11 Jan 2026 | Dafny | Workshop |
| Sun 11 Jan 2026 | LAFI | Workshop Datenew |
| Sun 11 Jan 2026 | PriSC | PriSC workshop (provisional)new |
| Sat 17 Jan 2026 | WITS | Workshopnew |
| Sat 17 Jan 2026 | RocqPL | RocqPL Workshopnew |
| Fri 1 Aug 2025 | Workshops and Co-located Events | Notification |
| Fri 25 Jul 2025 | Workshops and Co-located Events | Submission Deadline |
| Thu 10 Jul 2025 | POPL | Paper submission deadline |