| Event | When | Where | Deadline | |
| CRYPTO 2016 |
The 36th International Cryptology Conference | |
| Aug 14, 2016 - Aug 18, 2016 |
University of California, Santa Barbara |
Feb 9, 2016 |
| USENIX Security 2016 |
25th USENIX Security Symposium | |
| Aug 10, 2016 - Aug 12, 2016 |
Austin, TX, USA |
Feb 18, 2016 |
| SAT 2016 |
International Conference on Theory and Applications of Satisfiability Testing | |
| Jul 5, 2016 - Jul 8, 2016 |
Bordeaux, France |
Feb 21, 2016 (Feb 14, 2016) |
| CP 2016 |
Principles and Practice of Constraint Programming | |
| Sep 5, 2016 - Sep 9, 2016 |
Toulouse |
Apr 16, 2016 (Apr 13, 2016) |
| ACM CCS 2016 |
23rd ACM Conference on Computer and Communications Security | |
| Oct 24, 2016 - Oct 28, 2016 |
Hofburg Palace, Vienna, Austria |
May 23, 2016 |
| EUROCRYPT 2017 |
The 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques | |
| Apr 30, 2017 - May 4, 2017 |
Paris, France |
Oct 1, 2016 |
| ARITH 2017 |
24th IEEE Symposium on Computer Arithmetic | |
| Jul 24, 2017 - Jul 24, 2017 |
Imperial College London |
Dec 31, 2016 |
| SAT 2018 |
Theory and Applications of Satisfiability Testing | |
| Jul 9, 2018 - Jul 12, 2018 |
Oxford, UK |
Feb 7, 2018 (Jan 31, 2018) |
| SAT 2020 |
Theory and Applications of Satisfiability Testing | |
| Jul 5, 2020 - Jul 9, 2020 |
Alghero, Italy |
Feb 22, 2020 (Feb 15, 2020) |
|
