When | Track | What |
---|---|---|
Wed 20 Nov 2024 | Dafny | Notification |
Fri 22 Nov 2024 | CoqPL | Author Notification |
Fri 22 Nov 2024 | POPL | Camera ready deadline |
Sun 24 Nov 2024 | PADL | Final version |
Mon 25 Nov 2024 | VMCAI | Camera Ready |
Tue 26 Nov 2024 23:59 | TPSA | Author Notification |
Wed 27 Nov 2024 | WAW | Author notification |
Fri 29 Nov 2024 | Student Research Competition | Abstract submission deadlinenew |
Fri 29 Nov 2024 | PLanQC | Notification deadline |
Sun 1 Dec 2024 | WITS | Notification |
Wed 4 Dec 2024 | PEPM | Camera ready version |
Thu 5 Dec 2024 | CPP | Camera ready version |
Thu 12 Dec 2024 | PriSC | Acceptance notification |
Sun 19 Jan 2025 | Dafny | Workshop |
Mon 20 Jan 2025 | WAW | Workshop |
Mon 20 Jan 2025 | PriSC | Workshop |
Mon 20 - Tue 21 Jan 2025 | PADL | Symposium |
Mon 20 - Tue 21 Jan 2025 | CPP | Conference |
Tue 21 Jan 2025 | PEPM | Workshop |
Tue 21 Jan 2025 | PLMW @ POPL | Workshop |
Tue 21 Jan 2025 | TPSA | Workshop |
Wed 22 - Fri 24 Jan 2025 | POPL | Conference |
Sat 25 Jan 2025 | PLanQC | Workshop |
Sat 25 Jan 2025 | CoqPL | Workshop |
Sat 25 Jan 2025 | WITS | Workshop |
Mon 18 Nov 2024 | PriSC | Submission Deadline |
Mon 18 Nov 2024 | PEPM | Author notification |
Thu 14 Nov 2024 | PADL | Notification to authors |
Wed 13 Nov 2024 | PLMW @ POPL | Scholarship Application Notifications |
Mon 11 Nov 2024 | VMCAI | Author Notification Deadline |
Mon 11 Nov 2024 | VMCAI | Artifact Evaluation Notification |
Mon 11 Nov 2024 | Artifact Evaluation | POPL Artifacts final acceptance notification |
Sun 10 Nov 2024 | WITS | Abstract submission deadline |
Thu 7 Nov 2024 | POPL | Final acceptance notifications sent to authors |
Thu 7 Nov 2024 23:59 | TPSA | Submission Deadline |
Fri 1 Nov 2024 | PLanQC | Submission deadline |
Wed 30 Oct 2024 | Dafny | Submission |
Wed 30 Oct 2024 | WAW | Submission deadline |
Fri 25 Oct 2024 | CoqPL | Submission deadline |
Fri 25 Oct 2024 | Artifact Evaluation | POPL Artifacts phase 1 feedback |
Fri 25 Oct 2024 | POPL | Authors of conditional accepted papers send their revised versions |
Mon 21 Oct 2024 | PLMW @ POPL | Scholarship Application Deadline |
Fri 18 Oct 2024 | PEPM | Submission deadline |
Fri 18 Oct 2024 | PADL | Paper submission |
Tue 15 Oct 2024 | Artifact Evaluation | POPL Artifacts submission deadline |
Mon 14 Oct 2024 | PEPM | Abstract deadline |
Fri 11 Oct 2024 | Artifact Evaluation | POPL Artifacts registration deadline |
Fri 11 Oct 2024 | PADL | Abstract submission |
Tue 8 Oct 2024 | POPL | Conditional Accept decisions announced |
Thu 3 Oct 2024 | VMCAI | Artifact Evaluation : Artifacts Deadline |
Tue 1 Oct 2024 | VMCAI | Paper Submission Deadline (extended) |
Tue 1 Oct 2024 | VMCAI | Artifact Evaluation Abstract Registration Deadline |
Fri 20 Sep 2024 | POPL | End of Author Response |
Tue 17 Sep 2024 | CPP | Paper submission deadline |
Wed 11 Sep 2024 | POPL | Beginning of Author Response Period |
Tue 10 Sep 2024 | CPP | Abstract submission deadline |
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 |