| Event | When | Where | Deadline | |
| POPL 2020 |
ACM SIGPLAN Symposium on Principles of Programming Languages 2020 | |
| Jan 19, 2020 - Jan 25, 2020 |
New Orleans, Louisiana, USA |
Jul 10, 2019 |
| NDSS 2020 |
Network and Distributed System Security Symposium | |
| Feb 23, 2020 - Feb 26, 2020 |
San Diego |
Sep 13, 2019 |
| ICST 2020 |
13th IEEE Conference on Software Testing, Validation and Verification | |
| Mar 23, 2020 - Mar 27, 2020 |
Porto, Portugal |
Oct 14, 2019 |
| WiCom-5G-SEC 2019 |
IEEE Wireless Communications Special Issue on Challenges and Novel Solutions for 5G Network Security, Privacy and Trust | |
| N/A |
N/A |
Dec 1, 2019 |
| MICRO 2020 |
International Symposium on Microarchitecture | |
| Oct 17, 2020 - Oct 21, 2020 |
Athens, Greece |
Apr 3, 2020 (Mar 27, 2020) |
| SEFM 2020 |
Software Engineering and Formal Methods | |
| Sep 14, 2020 - Sep 18, 2020 |
Amsterdam |
May 4, 2020 (Apr 27, 2020) |
| NDSS 2021 |
Network and Distributed System Security Symposium (Fall Cycle) | |
| Feb 21, 2021 - Feb 24, 2021 |
San Diego, California, USA |
Jul 31, 2020 |
| ASPLOS 2021 |
Architectural Support for Programming Languages and Operating Systems | |
| Mar 31, 2020 - Mar 31, 2020 |
Detroit, USA |
Aug 21, 2020 (Aug 14, 2020) |
| ICST 2021 |
IEEE International Conference on Software Testing, Verification and Validation 2021 | |
| Apr 12, 2021 - Apr 16, 2021 |
Virtual |
Oct 12, 2020 (Oct 5, 2020) |
| CCS 2021 |
ACM CCS 2021 : ACM Conference on Computer and Communications Security (1st Cycle) | |
| Nov 14, 2021 - Nov 19, 2021 |
Seoul, South Korea |
Jan 20, 2021 |
| FM 2021 |
Formal Methods 2021 | |
| Nov 20, 2021 - Nov 26, 2021 |
Beijing, China |
May 6, 2021 (Apr 30, 2021) |
|
