Event | When | Where | Deadline | |
ASPLOS 2019 |
Architectural Support for Programming Languages and Operating Systems | |
Apr 13, 2019 - Apr 17, 2019 |
Providence, RI, |
Aug 7, 2018 (Jul 31, 2018) |
NDSS 2019 |
Network and Distributed System Security Symposium | |
Feb 24, 2019 - Feb 27, 2019 |
San Diego, CA |
Aug 7, 2018 |
SOFSEM 2019 |
45th International Conference on Current Trends in Theory and Practice of Computer Science | |
Jan 27, 2019 - Jan 30, 2019 |
Nový Smokovec, Slovakia |
Aug 12, 2018 (Aug 7, 2018) |
VMCAI 2019 |
International Conference on Verification, Model Checking, and Abstract Interpretation | |
Jan 13, 2019 - Jan 15, 2019 |
Cascais/Lisbon, Portugal |
Oct 1, 2018 |
ICST 2019 |
International Conference on Software Testing, Verification, and Validation | |
Apr 24, 2019 - Apr 26, 2019 |
Xi'an, China |
Oct 12, 2018 (Oct 5, 2018) |
FASE 2019 |
Fundamental Approaches to Software Engineering | |
Apr 8, 2019 - Apr 11, 2019 |
Prague, Czech Republic |
Nov 15, 2018 (Nov 7, 2018) |
CAV 2019 |
31st International Conference on Computer-Aided Verification | |
Jul 13, 2019 - Jul 18, 2019 |
New York City |
Feb 7, 2019 |
CSF 2019 |
32nd IEEE Computer Security Foundations Symposium | |
Jun 25, 2019 - Jun 28, 2019 |
Hoboken, NJ, USA |
Feb 26, 2019 (Feb 22, 2019) |
ENTROPY 2019 |
ENabling TRust through Os Proofs… and beYond | |
Jun 16, 2019 - Jun 16, 2019 |
Stockholm, Sweden |
Mar 11, 2019 |
MICRO 2019 |
52nd IEEE/ACM International Symposium on Microarchitecture | |
Oct 12, 2019 - Oct 16, 2019 |
Columbus, Ohio, USA |
Apr 5, 2019 (Mar 29, 2019) |
FM 2019 |
23rd International Symposium on Formal Methods – 3rd World Congress on Formal Methods | |
Oct 7, 2019 - Oct 11, 2019 |
Porto, Portugal |
Apr 11, 2019 (Mar 28, 2019) |
ESORICS 2019 |
The 24th European Symposium on Research in Computer Security | |
Sep 23, 2019 - Sep 27, 2019 |
Luxembourg |
Apr 22, 2019 |
VSTTE 2019 |
Verified Software: Theories, Tools and Experiments | |
Jul 13, 2019 - Jul 14, 2019 |
New York |
Apr 29, 2019 (Apr 23, 2019) |
SEFM 2019 |
Software Engineering and Formal Methods | |
Sep 16, 2019 - Sep 20, 2019 |
Oslo, Norway |
May 10, 2019 (May 3, 2019) |
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) |
|