POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
WhenTrackWhat
Wed 20 Nov 2024 DafnyNotification
Fri 22 Nov 2024 CoqPLAuthor Notification
Fri 22 Nov 2024 POPLCamera ready deadline
Sun 24 Nov 2024 PADLFinal version
Mon 25 Nov 2024 VMCAICamera Ready
Tue 26 Nov 2024 23:59 TPSAAuthor Notification
Wed 27 Nov 2024 WAWAuthor notification
Fri 29 Nov 2024 Student Research CompetitionAbstract submission deadlinenew
Fri 29 Nov 2024 PLanQCNotification deadline
Sun 1 Dec 2024 WITSNotification
Wed 4 Dec 2024 PEPMCamera ready version
Thu 5 Dec 2024 CPPCamera ready version
Thu 12 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 PADLSymposium
Mon 20 - Tue 21 Jan 2025 CPPConference
Tue 21 Jan 2025 PEPMWorkshop
Tue 21 Jan 2025 PLMW @ POPLWorkshop
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
Mon 18 Nov 2024 PriSCSubmission Deadline
Mon 18 Nov 2024 PEPMAuthor notification
Thu 14 Nov 2024 PADLNotification to authors
Wed 13 Nov 2024 PLMW @ POPLScholarship Application Notifications
Mon 11 Nov 2024 VMCAIAuthor Notification Deadline
Mon 11 Nov 2024 VMCAIArtifact Evaluation Notification
Mon 11 Nov 2024 Artifact EvaluationPOPL Artifacts final acceptance notification
Sun 10 Nov 2024 WITSAbstract submission deadline
Thu 7 Nov 2024 POPLFinal acceptance notifications sent to authors
Thu 7 Nov 2024 23:59 TPSASubmission Deadline
Fri 1 Nov 2024 PLanQCSubmission deadline
Wed 30 Oct 2024 DafnySubmission
Wed 30 Oct 2024 WAWSubmission deadline
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
Mon 21 Oct 2024 PLMW @ POPLScholarship Application Deadline
Fri 18 Oct 2024 PEPMSubmission deadline
Fri 18 Oct 2024 PADLPaper submission
Tue 15 Oct 2024 Artifact EvaluationPOPL Artifacts submission deadline
Mon 14 Oct 2024 PEPMAbstract deadline
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