| Event | When | Where | Deadline | |
| 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) |
| SE 2013 |
Software Engineering | |
| Feb 11, 2013 - Feb 13, 2013 |
Innsbruck, Austria |
Oct 26, 2012 |
| ETS 2013 |
IEEE European Test Symposium | |
| May 27, 2013 - May 30, 2013 |
Avignon, France |
Dec 3, 2012 |
| NFM 2013 |
5th NASA Formal Methods Symposium | |
| May 14, 2013 - May 16, 2013 |
Moffett Field, CA, USA |
Dec 16, 2012 (Dec 7, 2012) |
| QAPL 2013 |
11th International Workshop on Quantitative Aspects of Programming Languages and Systems | |
| Mar 23, 2013 - Mar 24, 2013 |
Rome, Italy, at ETAPS 2013 |
Dec 20, 2012 (Dec 16, 2012) |
| TAIC PART 2013 |
Testing: Academic & Industrial Conference Practice and Research Techniques | |
| Mar 18, 2013 - Mar 18, 2013 |
Luxembourg |
Jan 6, 2013 |
| 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 |
| SAS 2013 |
Static Analysis Symposium | |
| Jun 20, 2013 - Jun 22, 2013 |
Seattle, Washington |
Feb 3, 2013 (Jan 27, 2013) |
| ITC 2013 |
International Test Conference | |
| Sep 10, 2013 - Sep 12, 2013 |
Anaheim, California, USA |
Feb 4, 2013 |
| FormaliSE 2013 |
FME Workshop on Formal Methods in Software Engineering | |
| May 25, 2013 - May 25, 2013 |
San Francisco, USA |
Feb 7, 2013 |
| ICECCS 2013 |
International Conference on Engineering of Complex Computer Systems | |
| Jul 17, 2013 - Jul 19, 2013 |
Singapore |
Feb 15, 2013 (Feb 1, 2013) |
| 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 |
| SAFECOMP 2013 |
Internatinoal Conference on Computer Safety, Reliability, and Security | |
| Sep 24, 2013 - Sep 27, 2013 |
Toulouse, France |
Mar 3, 2013 (Feb 17, 2013) |
| SPLC 2013 |
2013 International Software Product Line Conference: Call for Research and Industry Papers | |
| Aug 26, 2013 - Aug 30, 2013 |
Tokyo, Japan |
Mar 8, 2013 (Mar 1, 2013) |
| MODELS 2013 |
ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems | |
| Sep 29, 2013 - Oct 4, 2013 |
Miami, USA |
Mar 14, 2013 (Mar 4, 2013) |
| SPIN 2013 |
International SPIN Symposium on Model Checking of Software | |
| Jul 8, 2013 - Jul 9, 2013 |
Stony Brook, NY, USA |
Mar 15, 2013 (Mar 8, 2013) |
| SEAA 2013 |
39th Euromicro Conference on Software Engineering and Advanced Applications | |
| Sep 4, 2013 - Sep 6, 2013 |
Santander, Spain |
Mar 28, 2013 (Mar 22, 2013) |
| RTCSA 2013 |
The 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications | |
| Aug 19, 2013 - Aug 21, 2013 |
Taipei, Taiwan |
Mar 31, 2013 |
| SEFM 2013 |
International Conference on Software Engineering and Formal Methods | |
| Sep 23, 2013 - Sep 27, 2013 |
Madrid, Spain |
Apr 1, 2013 (Mar 25, 2013) |
|
