| Event | When | Where | Deadline | |
| EUROCRYPT 2015 |
Theory and Application of Cryptographic Techniques | |
| Apr 26, 2015 - Apr 30, 2015 |
Sofia, Bulgaria |
TBD |
| CCS 2016 |
23rd ACM Conference on Computer and Communications Security | |
| Oct 24, 2016 - Oct 28, 2016 |
Vienna, Austria |
TBD |
| CRISIS 2016 |
11th International Conference on Risks and Security of Internet and Systems | |
| Sep 5, 2016 - Sep 7, 2016 |
Roscoff, France |
TBD |
| ACISP 2012 |
17th Australasian Conference on Information Security and Privacy | |
| Jul 9, 2012 - Jul 11, 2012 |
Wollongong, Australia |
Feb 23, 2012 |
| FMCAD 2013 |
Formal Methods in Computer-Aided Design | |
| Oct 20, 2013 - Oct 23, 2013 |
Portland, Oregon |
May 15, 2013 (May 8, 2013) |
| VMCAI 2014 |
Verification, Model Checking, and Abstract Interpretation | |
| Jan 19, 2014 - Jan 21, 2014 |
San Diego |
Sep 18, 2013 (Sep 11, 2013) |
| DSN 2014 |
The 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks | |
| Jun 23, 2014 - Jun 26, 2014 |
Atlanta, Georgia USA |
Dec 8, 2013 (Dec 1, 2013) |
| CAV 2014 |
26th International Conference on Computer Aided Verification (CAV) | |
| Jul 18, 2014 - Jul 22, 2014 |
Vienna / Austria |
Feb 7, 2014 (Jan 31, 2014) |
| ICECCS 2014 |
International Conference on Engineering of Complex Computer Systems | |
| Aug 4, 2014 - Aug 7, 2014 |
Tianjin, China |
Feb 28, 2014 (Feb 14, 2014) |
| SEKE 2014 |
26th International Conference on Software Engineering and Knowledge Engineering | |
| Jul 1, 2014 - Jul 3, 2014 |
Vancouver, Canada |
Mar 15, 2014 |
| FSE 2014 |
22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering | |
| Nov 16, 2014 - Nov 22, 2014 |
Hong Kong, China |
Mar 16, 2014 |
| ESORICS 2014 |
19th European Symposium on Research in Computer Security | |
| Sep 7, 2014 - Sep 11, 2014 |
Wroclaw, Poland |
Apr 9, 2014 |
| ATVA 2014 |
International Symposium on Automated Technology for Verification and Analysis | |
| Nov 3, 2014 - Nov 7, 2014 |
Sydney |
Apr 15, 2014 |
| ICFEM 2014 |
International Conference on Formal Engineering Methods | |
| Nov 3, 2014 - Nov 7, 2014 |
Luxembourg |
Apr 18, 2014 (Apr 11, 2014) |
| ASE 2014 |
ACM/IEEE International Conference on Automated Software Engineering | |
| Sep 15, 2014 - Sep 19, 2014 |
Vasteras, Sweden |
Apr 25, 2014 (Apr 18, 2014) |
| OSDI 2014 |
11th USENIX Symposium on Operating Systems Design and Implementation | |
| Oct 6, 2014 - Oct 8, 2014 |
Broomfield, CO, USA |
May 1, 2014 (Apr 24, 2014) |
| IMC 2014 |
Internet Measurement Conference | |
| Nov 5, 2014 - Nov 7, 2014 |
Vancouver, BC, Canada |
May 7, 2014 (Apr 30, 2014) |
| CCS 2014 |
21st ACM Conference on Computer and Communications Security | |
| Nov 3, 2014 - Nov 7, 2014 |
Scottsdale, Arizona, USA |
May 16, 2014 |
| ACSAC 2014 |
Annual Computer Security Applications Conference | |
| Dec 8, 2014 - Dec 12, 2014 |
New Orleans, Louisiana, USA |
Jun 1, 2014 |
| PASSAT 2014 |
Privacy, Security, Risk and Trust | |
| Dec 15, 2014 - Dec 19, 2014 |
Cambridge, MA, USA |
Jul 15, 2014 |
|
