| When | Track | What |
|---|---|---|
| Fri 17 Oct 2025 | PriSC | Submission Deadline |
| Fri 17 Oct 2025 | PADL | Paper submission |
| Wed 22 Oct 2025 | Dafny | Submission |
| Fri 24 Oct 2025 | PEPM | Submission Deadline |
| Fri 24 Oct 2025 | RocqPL | Submission Deadline |
| Fri 24 Oct 2025 | TPSA | Submission Deadline |
| Thu 30 Oct 2025 | LAFI | Submission Deadline |
| Thu 30 Oct 2025 | Student Research Competition | Submission Deadline |
| Fri 31 Oct 2025 | PLanQC | Submission deadline |
| Thu 6 Nov 2025 | WITS | Submission Deadline |
| Thu 6 Nov 2025 | VMCAI | Notification |
| Wed 12 Nov 2025 | Dafny | Notification |
| Thu 13 Nov 2025 | PADL | Notification to authors |
| Tue 18 Nov 2025 | TPSA | Presenter Notification |
| Thu 20 Nov 2025 | VMCAI | Camera Ready |
| Fri 21 Nov 2025 | RocqPL | Notification |
| Sun 23 Nov 2025 | PADL | Final version |
| Thu 27 Nov 2025 | LAFI | Notification to Authors |
| Fri 28 Nov 2025 | PEPM | Author Notification |
| Fri 28 Nov 2025 | PLanQC | Notification deadline |
| Mon 1 Dec 2025 | WITS | Notification |
| Mon 1 Dec 2025 | Student Research Competition | Conditional Acceptance Decisions |
| Thu 4 Dec 2025 | Student Research Competition | Revisions Due |
| Sun 11 Jan 2026 | Dafny | Workshop |
| Sun 11 Jan 2026 | LAFI | Workshop Date |
| Sun 11 Jan 2026 | PriSC | PriSC workshop (provisional) |
| Mon 12 Jan 2026 | PLanQC | Workshop |
| Mon 12 - Tue 13 Jan 2026 | PADL | Symposium |
| Tue 13 Jan 2026 | PEPM | Workshop |
| Sat 17 Jan 2026 | WITS | Workshop |
| Sat 17 Jan 2026 | RocqPL | RocqPL Workshop |
| Tue 8 Dec 2026 | Student Research Competition | Final Acceptance Decisions |
| Fri 10 Oct 2025 | PADL | Abstract submission |
| Thu 2 Oct 2025 | POPL | Conditional Accept Decisions Announced |
| Mon 22 Sep 2025 | VMCAI | Artifact Submission Deadline |
| Wed 17 Sep 2025 | VMCAI | Artifact Registration Deadline |
| Mon 15 Sep 2025 | VMCAI | Paper Submission Deadline (Extended!) |
| Thu 11 Sep 2025 | POPL | End of author response period |
| Mon 8 Sep 2025 | POPL | Beginning of author response period |
| 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 |