WhenTrackWhat
Sat 22 Jan 2022 PriSCWorkshop
Sat 22 Jan 2022 CoqPLWorkshop
Sun 16 - Tue 18 Jan 2022 VMCAIConference
Mon 17 - Tue 18 Jan 2022 PEPMWorkshop
Tue 18 Jan 2022 PLMWWorkshop
Sun 16 Jan 2022 ProLaLaWorkshop
Sun 16 Jan 2022 LAFIWorkshop
Fri 17 Dec 2021 Student VolunteersNotifications for Second Round of Applications
Wed 15 Dec 2021 LAFIAuthor Notification
Mon 13 Dec 2021 Student VolunteersSecond Round of Applications
Fri 3 Dec 2021 Student VolunteersNotifications for First Round of Applications
Fri 3 Dec 2021 Student Research CompetitionNotification of Acceptance
Wed 1 Dec 2021 WITSNotification
Mon 29 Nov 2021 PEPMCamera-ready Deadline
Thu 25 Nov 2021 PriSCAcceptance Notification
Wed 24 Nov 2021 Student VolunteersFirst Round of Applications
Thu 18 Nov 2021 CoqPLAuthor Notification
Thu 18 Nov 2021 ProLaLaNotification of acceptance
Tue 16 Nov 2021 WITSAbstract submission deadline
Mon 15 Nov 2021 VMCAICamera-ready version due
Mon 15 Nov 2021 TutorialFest Notification
Fri 12 Nov 2021 PLMWApplicant notification
Fri 12 Nov 2021 Student Research CompetitionAbstract Submission Deadline
Thu 11 Nov 2021 PEPMAuthor Notification
Thu 11 Nov 2021 POPLCamera Ready Deadline
Mon 8 Nov 2021 POPLDeadline for Getting a Reviewer Approval
Mon 8 Nov 2021 TutorialFestSubmission
Mon 8 Nov 2021 PriSCSubmission Deadline (extended)
Fri 5 Nov 2021 PADLNotification
Wed 3 Nov 2021 Artifact EvaluationFinal decisions
Mon 1 Nov 2021 PLMWApplication deadline
Fri 29 Oct 2021 POPLDeadline for Submitting a Revised Version and a Summary of Changes
Thu 28 Oct 2021 ProLaLaSubmission deadline
Fri 22 Oct 2021 LAFIAbstract Submission (Extended)
Thu 21 Oct 2021 CoqPLAbstract Submission
Sun 17 Oct 2021 VMCAIArtifact notification
Fri 15 Oct 2021 Artifact EvaluationArtifact Evaluation Milestone 1
Wed 13 Oct 2021 PADLFull Paper Deadline
Mon 11 Oct 2021 VMCAIAuthor notification
Thu 7 Oct 2021 PEPMSubmission Deadline
Wed 6 Oct 2021 Artifact EvaluationArtifacts due
Wed 6 Oct 2021 PADLAbstract deadline
Wed 29 Sep 2021 POPLNotification
Fri 24 - Tue 28 Sep 2021 VMCAIArtifact clarification period
Thu 23 Sep 2021 VMCAIArtifact test phase notification
Wed 22 Sep 2021 23:59 CPPPaper submission deadline
Thu 16 Sep 2021 VMCAIArtifact submission deadline
Thu 16 Sep 2021 23:59 CPPAbstract submission deadline
Sat 11 Sep 2021 VMCAIArtifact submission opens
Thu 9 Sep 2021 VMCAISubmission deadline
Sat 4 - Wed 8 Sep 2021 POPLAuthor Response Period
Thu 8 Jul 2021 POPLSubmission Deadline
Fri 25 Jun 2021 Workshops and Co-located EventsNotification of Acceptance
Fri 11 Jun 2021 Workshops and Co-located EventsDeadline for Submission