| Event | When | Where | Deadline | |
| CSF 2017 |
30th IEEE Computer Security Foundations Symposium | |
| Aug 21, 2017 - Aug 25, 2017 |
Santa Barbara, CA, USA |
Feb 17, 2017 |
| PriSC 2018 |
2nd Workshop on Principles of Secure Compilation | |
| Jan 13, 2018 - Jan 13, 2018 |
Los Angeles, USA |
Oct 18, 2017 |
| CPP 2020 |
Certified Programs and Proofs | |
| Jan 20, 2020 - Jan 21, 2020 |
New Orleans, Louisiana, USA |
Oct 21, 2019 (Oct 16, 2019) |
| CPP 2021 |
Certified Programs and Proofs | |
| Jan 18, 2021 - Jan 19, 2021 |
Copenhagen, Denmark |
Sep 22, 2020 (Sep 16, 2020) |
|
