POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
WhenTrackWhat
Sat 20 Jan 2024 PriSCWorkshop
Sat 20 Jan 2024 CoqPLWorkshop
Sat 20 Jan 2024 PROPLWorkshop
Sat 20 Jan 2024 PLanQCWorkshop
Sat 20 Jan 2024 N40AI N40AI event
Fri 19 Jan 2024 - Diversity, Equity and InclusionWomen Lunch
Thu 18 Jan 2024 - Diversity, Equity and InclusionDEI4Everyone Reception
Thu 18 Jan 2024 - Diversity, Equity and InclusionLGBTQ+ Lunch
Wed 17 Jan 2024 - Diversity, Equity and InclusionURM Lunch
Mon 15 - Tue 16 Jan 2024 VMCAI Conference
Mon 15 - Tue 16 Jan 2024 PADLSymposium
Tue 16 Jan 2024 PLMW @ POPLWorkshop
Tue 16 Jan 2024 PEPMWorkshop
Tue 16 Jan 2024 IncorrectnessWorkshop
Mon 15 Jan - Tue 16 Jan 2024 CPPConference
Mon 15 Jan 2024 The Future of Weak MemoryWorkshop
Sun 14 Jan 2024 GALOPWorkshop
Sun 14 Jan 2024 DafnyWorkshop
Sun 14 Jan 2024 LAFIWorkshop Date
Tue 12 Dec 2023 PEPMCamera-ready deadline
Fri 8 Dec 2023 Student Research CompetitionNotification of Final Acceptance
Thu 7 Dec 2023 PriSCAcceptance notification
Wed 6 Dec 2023 PLanQCNotification deadline
Wed 6 Dec 2023 Student Research CompetitionRe-Submission for Conditionally Accepted Abstracts
Mon 4 Dec 2023 PROPLNotification
Fri 1 Dec 2023 LAFIAuthor Notification
Fri 1 Dec 2023 Student Research CompetitionNotification of (Conditional) Acceptance
Fri 24 Nov 2023 PROPLProposals deadline
Thu 23 Nov 2023 CoqPLAuthor notification
Mon 20 Nov 2023 PEPMAuthor notification
Mon 20 Nov 2023 Student VolunteersNotification for SV applications
Mon 20 Nov 2023 IncorrectnessAuthor Notification
Fri 17 Nov 2023 GALOPNotification
Thu 16 Nov 2023 PADLNotification of acceptance
Wed 15 Nov 2023 DafnyNotification
Tue 14 Nov 2023 POPLCamera-ready Deadline
Mon 13 Nov 2023 PLMW @ POPLScholarship Application Notifications
Fri 10 Nov 2023 Student VolunteersDeadline for SV applications
Fri 10 Nov 2023 Student Research CompetitionAbstract Submission
Tue 7 Nov 2023 POPLFinal Acceptance Notification
Fri 3 Nov 2023 GALOPSubmission deadline
Fri 3 Nov 2023 PLanQCSubmission deadline
Thu 2 Nov 2023 VMCAI Camera-ready Deadline
Thu 2 Nov 2023 PriSCSubmission Deadline
Tue 31 Oct 2023 CoqPLSubmission deadline
Mon 30 Oct 2023 IncorrectnessSubmission Deadline
Fri 27 Oct 2023 POCL Talk proposals deadline
Fri 27 Oct 2023 LAFISubmission Deadline
Thu 26 Oct 2023 POPLRevised Submission Deadline
Fri 20 Oct 2023 PEPMPaper submission deadline
Fri 20 Oct 2023 PLMW @ POPLScholarship Application Deadline
Wed 18 Oct 2023 DafnySubmission
Thu 12 Oct 2023 PADLPaper submission
Wed 11 Oct 2023 VMCAI Notification
Mon 9 Oct 2023 POPLArtifact Deadline
Mon 2 Oct 2023 POPLConditional Acceptance Notification
Tue 19 Sep 2023 CPPPaper Submission Deadline
Thu 14 Sep 2023 VMCAI Artifact Deadline (extended)
Thu 14 Sep 2023 POPLEnd of Author Response Period
Tue 12 Sep 2023 CPPAbstract Submission Deadline
Mon 11 Sep 2023 POPLStart of Author Response Period
Thu 7 Sep 2023 VMCAI Submission Deadline (extended)
Tue 1 Aug 2023 Workshops and Co-located EventsAcceptance Notification
Tue 25 Jul 2023 Workshops and Co-located EventsSubmission Deadline
Tue 11 Jul 2023 POPLSubmission Deadline