Event | When | Where | Deadline | |
FMCAD 2015 |
Formal Methods in Computer-Aided Design | |
Sep 27, 2015 - Sep 30, 2015 |
Austin, Texas |
TBD |
POPL 2014 |
Symposium on Principles of Programming Languages | |
Jan 22, 2014 - Jan 24, 2014 |
The US Grant, San Diego, CA, USA |
Jul 12, 2013 (Jul 5, 2013) |
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) |
NDSS 2015 |
Network and Distributed System Security Symposium | |
Feb 8, 2015 - Feb 11, 2015 |
San Diego, USA |
Aug 1, 2014 |
ASPLOS 2015 |
Architectural Support for Programming Languages and Operating Systems | |
Mar 14, 2015 - Mar 18, 2015 |
Istanbul, Turkey |
Aug 7, 2014 (Jul 31, 2014) |
ICSE 2015 |
37th International Conference on Software Engineering | |
May 16, 2015 - May 24, 2015 |
Firenze, Italy |
Sep 5, 2014 |
NSDI 2015 |
Networked Systems Design and Implementation | |
May 4, 2015 - May 6, 2015 |
Oakland, CA |
Sep 25, 2014 (Sep 18, 2014) |
ACM AsiaCCS 2015 |
10th ACM Symposium on Information, Computer and Communications Security | |
Apr 14, 2015 - Apr 17, 2015 |
Singapore |
Oct 26, 2014 |
PLDI 2015 |
Programming Language Design and Implementation | |
Jun 13, 2015 - Jun 17, 2015 |
Portland, Oregon, United States |
Nov 13, 2014 |
AAMAS 2015 |
International Conference on Autonomous Agents and Multiagent | |
May 4, 2015 - May 8, 2015 |
Istanbul |
Nov 17, 2014 (Nov 12, 2014) |
DAC 2015 |
Design Automation Conference | |
Jun 7, 2015 - Jun 11, 2015 |
San Francisco, CA, USA |
Dec 2, 2014 (Nov 21, 2014) |
ECOOP 2015 |
The European Conference on Object-Oriented Programming ECOOP 2015 | |
Jul 6, 2015 - Jul 10, 2015 |
Prague, Czech Republic |
Dec 21, 2014 |
FM 2015 |
International Symposium on Formal Methods | |
Jun 22, 2015 - Jun 26, 2015 |
Oslo, Norway |
Jan 9, 2015 (Jan 2, 2015) |
ISSTA 2015 |
International Symposium on Software Testing and Analysis ISSTA 2015 | |
Jul 12, 2015 - Jul 17, 2015 |
Baltimore, Maryland |
Jan 23, 2015 |
USENIX ATC 2015 |
USENIX ATC 2015 : USENIX Annual Technical Conference | |
Jul 8, 2015 - Jul 10, 2015 |
Santa Clara, CA, US |
Feb 3, 2015 (Jan 27, 2015) |
CAV 2015 |
27th International Conference on Computer Aided Verification | |
Jul 18, 2015 - Jul 24, 2015 |
san francisco |
Feb 6, 2015 |
CSF 2015 |
CFP: 28th IEEE Computer Security Foundations Symposium (CSF 2015) | |
Jul 14, 2015 - Jul 17, 2015 |
Verona, Italy |
Feb 10, 2015 |
IJCAI 2015 |
International Joint Conference on Artificial Intelligence | |
Jul 28, 2015 - Aug 1, 2015 |
Buenos Aires, Argentina |
Feb 12, 2015 (Feb 8, 2015) |
DIMVA 2015 |
12th International Conference on Detection of Intrusions and Malware & Vulnerability Assessment | |
Jul 9, 2015 - Jul 10, 2015 |
Milano, Italy |
Feb 15, 2015 (Feb 11, 2015) |
WiSec 2015 |
The 8th ACM Conference on Security and Privacy in Wireless and Mobile Networks (deadline extended) | |
Jun 22, 2015 - Jun 26, 2015 |
New York City, NY, USA |
Feb 17, 2015 (Feb 10, 2015) |
|