| When | Track | What |
|---|
| Sat 25 Jan 2020 | PriSC | Workshop |
| Sat 25 Jan 2020 | CoqPL | Workshop date |
| Sat 25 Jan 2020 | WGT | Workshop |
| Wed 22 - Fri 24 Jan 2020 | Research Papers | Conference |
| Sun 19 - Tue 21 Jan 2020 | VMCAI | Conference |
| Mon 20 - Tue 21 Jan 2020 | CPP | Conference |
| Tue 21 Jan 2020 | LAFI | Workshop |
| Wed 12 Dec 2012 - Tue 21 Jan 2020 | LAFI | Accepted talks announced. |
| Mon 20 Jan 2020 | PEPM | Workshop |
| Sun 19 Jan 2020 | PLanQC | Workshop |
| Tue 7 Jan 2020 | WGT | Final papers due |
| Mon 6 Jan 2020 | Ally Skills Session | application deadline |
| Fri 20 Dec 2019 | CPP | Camera ready version |
| Sun 15 Dec 2019 | ADSL | Author notification |
| Sat 14 Dec 2019 | Student Volunteers | Notification for the second round |
| Tue 10 Dec 2019 | Student Volunteers | 2nd round application deadline |
| Fri 6 Dec 2019 | Student Research Competition | Notification of Acceptance |
| Mon 2 Dec 2019 | LAFI | Author notification |
| Sun 1 Dec 2019 | WGT | Notification |
| Wed 27 Nov 2019 | CPP | Notification |
| Wed 27 Nov 2019 | VMCAI | Winter school registration (travel and accommodation support) |
| Mon 25 Nov 2019 | PEPM | Camera-ready version |
| Thu 21 Nov 2019 | PLanQC | Notification |
| Wed 20 Nov 2019 | PriSC | Notification |
| Mon 18 Nov 2019 | CoqPL | Author notification |
| Mon 18 Nov 2019 | PEPM | Author notification |
| Fri 15 Nov 2019 | Student Research Competition | Abstract Submission Deadline |
| Fri 15 Nov 2019 | ADSL | Submission deadline |
| Fri 15 Nov 2019 | VMCAI | Camera-ready |
| Wed 13 Nov 2019 | Artifact Evaluation | Artifact Decisions Announced |
| Mon 11 Nov 2019 | Research Papers | Camera ready deadline |
| Thu 7 Nov 2019 | VMCAI | Notification |
| Fri 1 Nov 2019 | TutorialFest | notification of acceptance |
| Fri 1 Nov 2019 | PriSC | Submission deadline |
| Thu 31 Oct 2019 | LAFI | Submission deadline (extended) |
| Mon 28 Oct 2019 | PLanQC | Submission deadline |
| Sun 27 Oct 2019 | WGT | Submission deadline |
| Sun 27 Oct 2019 23:59 | CoqPL | Submission deadline |
| Fri 25 Oct 2019 | PEPM | Paper submission deadline |
| Wed 23 Oct 2019 | Student Volunteers | Notification for the first round |
| Thu 10 - Mon 21 Oct 2019 | WGT | Submission site is open |
| Mon 21 Oct 2019 | Artifact Evaluation | Artifact Submission |
| Mon 21 Oct 2019 23:59 | CPP | Paper submission deadline |
| Thu 17 - Sun 20 Oct 2019 | VMCAI | Artifact test phase notification and clarification |
| Fri 18 Oct 2019 | TutorialFest | proposal submission deadline |
| Thu 17 Oct 2019 | Student Volunteers | 1st round application deadline |
| Wed 16 Oct 2019 | Artifact Evaluation | Artifiact Registration |
| Wed 16 Oct 2019 23:59 | CPP | Abstract submission deadline |
| Mon 14 Oct 2019 | VMCAI | Artifact submission |
| Mon 14 Oct 2019 | Research Papers | Notification |
| Tue 8 Oct 2019 | VMCAI | Artifact registration |
| Sun 6 Oct 2019 | VMCAI | Paper submission |
| Tue 1 Oct 2019 | VMCAI | Abstract submission |
| Thu 19 Sep 2019 | Research Papers | End of rebuttal period |
| Mon 16 Sep 2019 | Research Papers | Start of rebuttal period |
| Wed 10 Jul 2019 | Research Papers | Submission deadline |
| Sat 15 Jun 2019 | Workshops and Co-located Events | Notification of acceptance |
| Fri 7 Jun 2019 | Artifact Evaluation | Nomination for Artifact Evaluation Committee |
| Fri 31 May 2019 | Workshops and Co-located Events | Proposal submission deadline |