POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
WhenTrackWhat
Mon 14 Oct 2024 PEPMAbstract deadline
Tue 15 Oct 2024 Artifact EvaluationPOPL Artifacts submission deadline
Fri 18 Oct 2024 PEPMSubmission deadline
Fri 18 Oct 2024 PADLPaper submission
Mon 21 Oct 2024 PLMW @ POPLScholarship Application Deadlinenew
Fri 25 Oct 2024 CoqPLSubmission deadline
Fri 25 Oct 2024 Artifact EvaluationPOPL Artifacts phase 1 feedback
Fri 25 Oct 2024 POPLAuthors of conditional accepted papers send their revised versions
Tue 29 Oct 2024 PLanQCSubmission deadline
Wed 30 Oct 2024 DafnySubmissionupdated
Wed 30 Oct 2024 WAWSubmission deadline
Thu 31 Oct 2024 23:59 TPSASubmission Deadline
Thu 7 Nov 2024 PriSCSubmission Deadline
Thu 7 Nov 2024 POPLFinal acceptance notifications sent to authors
Thu 7 Nov 2024 Artifact EvaluationPOPL Artifacts final acceptance notification
Fri 8 Nov 2024 VMCAIAuthor Notification Deadline
Fri 8 Nov 2024 VMCAIArtifact Evaluation Notification
Sun 10 Nov 2024 WITSAbstract submission deadline
Mon 11 Nov 2024 PADLNotification to authors
Wed 13 Nov 2024 PLMW @ POPLScholarship Application Notificationsnew
Thu 14 Nov 2024 POPLCamera ready deadline
Mon 18 Nov 2024 PEPMAuthor notification
Wed 20 Nov 2024 DafnyNotification
Thu 21 Nov 2024 23:59 TPSAAuthor Notification
Fri 22 Nov 2024 CoqPLAuthor Notification
Fri 22 Nov 2024 VMCAICamera Ready
Sun 24 Nov 2024 PADLFinal version
Tue 26 Nov 2024 PLanQCNotification deadline
Wed 27 Nov 2024 WAWAuthor notification
Sun 1 Dec 2024 WITSNotification
Wed 4 Dec 2024 PEPMCamera ready version
Thu 5 Dec 2024 PriSCAcceptance notification
Sun 19 Jan 2025 DafnyWorkshop
Mon 20 Jan 2025 WAWWorkshop
Mon 20 Jan 2025 PriSCWorkshop
Mon 20 - Tue 21 Jan 2025 CPPConference
Mon 20 - Tue 21 Jan 2025 PADLSymposium
Tue 21 Jan 2025 PEPMWorkshop
Tue 21 Jan 2025 PLMW @ POPLWorkshopnew
Tue 21 Jan 2025 TPSAWorkshop
Wed 22 - Fri 24 Jan 2025 POPLConference
Sat 25 Jan 2025 PLanQCWorkshop
Sat 25 Jan 2025 CoqPLWorkshop
Sat 25 Jan 2025 WITSWorkshop
Fri 11 Oct 2024 Artifact EvaluationPOPL Artifacts registration deadline
Fri 11 Oct 2024 PADLAbstract submission
Tue 8 Oct 2024 POPLConditional Accept decisions announced
Thu 3 Oct 2024 VMCAIArtifact Evaluation : Artifacts Deadline
Tue 1 Oct 2024 VMCAIPaper Submission Deadline (extended)
Tue 1 Oct 2024 VMCAIArtifact Evaluation Abstract Registration Deadline
Fri 20 Sep 2024 POPLEnd of Author Response
Tue 17 Sep 2024 CPPPaper submission deadline
Wed 11 Sep 2024 POPLBeginning of Author Response Period
Tue 10 Sep 2024 CPPAbstract submission deadline
Fri 2 Aug 2024 Workshops and Co-located EventsNotification of Decisions
Fri 26 Jul 2024 Workshops and Co-located EventsSubmission Deadline
Thu 11 Jul 2024 POPLPaper submission deadline