| When | Track | What |
|---|---|---|
| Tue 10 Sep 2024 | CPP | Abstract submission deadline |
| Wed 11 Sep 2024 | POPL | Beginning of Author Response Period |
| Mon 16 Sep 2024 | VMCAI | Paper Submission Deadline |
| Tue 17 Sep 2024 | CPP | Paper submission deadline |
| Wed 18 Sep 2024 | VMCAI | Artifact Evaluation Abstract Registration Deadline |
| Fri 20 Sep 2024 | POPL | End of Author Response |
| Mon 23 Sep 2024 | VMCAI | Artifact Evaluation : Artifacts Deadline |
| Fri 4 Oct 2024 | PADL | Abstract submission |
| Tue 8 Oct 2024 | POPL | Conditional Accept decisions announced |
| Fri 11 Oct 2024 | PADL | Paper submission |
| Mon 14 Oct 2024 | PEPM | Abstract deadline |
| Wed 16 Oct 2024 | Dafny | Submission |
| Fri 18 Oct 2024 | PEPM | Submission deadline |
| Thu 24 Oct 2024 | VMCAI | Artifact Evaluation Notification |
| Fri 25 Oct 2024 | VMCAI | Author Notification Deadline |
| Fri 25 Oct 2024 | CoqPL | Submission deadline |
| Fri 25 Oct 2024 | POPL | Authors of conditional accepted papers send their revised versions |
| Wed 30 Oct 2024 | WAW | Submission deadline |
| Thu 7 Nov 2024 | POPL | Final acceptance notifications sent to authors |
| Mon 11 Nov 2024 | VMCAI | Camera Ready |
| Mon 11 Nov 2024 | PADL | Notification to authors |
| Thu 14 Nov 2024 | POPL | Camera ready deadline |
| Mon 18 Nov 2024 | PEPM | Author notification |
| Wed 20 Nov 2024 | Dafny | Notification |
| Fri 22 Nov 2024 | CoqPL | Author Notification |
| Sun 24 Nov 2024 | PADL | Final version |
| Wed 27 Nov 2024 | WAW | Author notification |
| Wed 4 Dec 2024 | PEPM | Camera ready version |
| Sun 19 Jan 2025 | Dafny | Workshop |
| Mon 20 Jan 2025 | WAW | Workshop |
| Mon 20 - Tue 21 Jan 2025 | CPP | Conference |
| Mon 20 - Tue 21 Jan 2025 | PADL | Symposium |
| Tue 21 Jan 2025 | PEPM | Workshop |
| Wed 22 - Fri 24 Jan 2025 | POPL | Conference |
| Sat 25 Jan 2025 | CoqPL | Workshop |
| Fri 2 Aug 2024 | Workshops and Co-located Events | Notification of Decisions |
| Fri 26 Jul 2024 | Workshops and Co-located Events | Submission Deadline |
| Thu 11 Jul 2024 | POPL | Paper submission deadline |