Event | When | Where | Deadline | |
POPL 2013 |
The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | |
Jan 23, 2013 - Jan 25, 2013 |
Rome, Italy |
Jul 10, 2012 (Jul 6, 2012) |
ICSE 2013 |
35th International Conference on Software Engineering | |
May 17, 2013 - May 23, 2013 |
San Francisco, CA, USA |
Aug 17, 2012 |
ICST 2013 |
6th IEEE International Conference on Software Testing, Verification, and Validation | |
Mar 18, 2013 - Mar 22, 2013 |
Luxembourg |
Sep 17, 2012 |
TACAS 2013 |
19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | |
Mar 16, 2013 - Mar 24, 2013 |
Rome |
Oct 14, 2012 (Oct 7, 2012) |
PLDI 2013 |
34th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation | |
Jun 16, 2013 - Jun 21, 2013 |
Seattle, Washington, USA |
Nov 11, 2012 |
CAV 2013 |
25th International Conference on Computer Aided Verification | |
Jul 13, 2013 - Jul 19, 2013 |
St. Petersburg, Russia |
Jan 7, 2013 (Jan 3, 2013) |
ISSTA 2013 |
International Symposium on Software Testing and Analysis | |
Jul 15, 2013 - Jul 20, 2013 |
Lugano, Switzerland |
Jan 25, 2013 |
PASTE 2013 |
11th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | |
Jun 20, 2013 - Jun 20, 2013 |
Seattle, USA |
Feb 15, 2013 |
VSTTE 2013 |
Verified Software: Theories, Tools, and Experiments | |
May 17, 2013 - May 19, 2013 |
Atherton, CA |
Mar 1, 2013 (Feb 22, 2013) |
SEKE 2013 |
The 25th International Conference on Software Engineering and Knowledge Engineering | |
Jun 27, 2013 - Jun 29, 2013 |
Boston, MA |
Mar 10, 2013 |
SPLASH 2013 |
Conference on Systems, Programming, Languages and Applications: Software for Humanity | |
Oct 26, 2013 - Oct 31, 2013 |
Indianapolis |
Mar 28, 2013 (Mar 22, 2013) |
ASE 2013 |
28th IEEE/ACM International Conference on Automated Software Engineering | |
Nov 11, 2013 - Nov 15, 2013 |
Palo Alto, USA |
May 17, 2013 (May 10, 2013) |
|