| Event | When | Where | Deadline | |
| 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 |
| ESEC/FSE 2013 |
9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering | |
| Aug 21, 2013 - Aug 23, 2013 |
Saint Petersburg, Russia |
Mar 1, 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) |
|
