| Event | When | Where | Deadline | |
| NFM 2012 |
Fourth NASA Formal Methods Symposium | |
| Apr 3, 2012 - Apr 5, 2012 |
Norfolk, Virginia, USA |
Dec 11, 2011 |
| MPC 2012 |
Mathematics of Program Construction | |
| Jun 25, 2012 - Jun 27, 2012 |
Madrid |
Jan 16, 2012 (Jan 9, 2012) |
| CAV 2012 |
24th International Conference on Computer Aided Verification | |
| Jul 7, 2012 - Jul 13, 2012 |
Berkeley, CA, USA |
Jan 22, 2012 (Jan 15, 2012) |
| CSTVA 2012 |
CSTVA'12 - 4th International Workshop on Constraints in Software Testing, Verification and Analysis | |
| Apr 21, 2012 - Apr 21, 2012 |
Montreal, Canada |
Feb 5, 2012 |
| ASE 2012 |
The 27th IEEE/ACM International Conference on AUTOMATED SOFTWARE ENGINEERING | |
| Sep 3, 2012 - Sep 7, 2012 |
Essen, Germany |
Mar 2, 2012 (Feb 24, 2012) |
| SE 2012 |
Software Engineering | |
| Jun 18, 2012 - Jun 20, 2012 |
Crete, Greece |
Mar 15, 2012 |
| FSE 2012 |
20th ACM SIGSOFT International Symposium on the Foundations of Software Engineering | |
| Nov 10, 2012 - Nov 17, 2012 |
Research Triangle Park, North Carolina |
Mar 16, 2012 |
| SEFM 2012 |
10th International Conference on Software Engineering and Formal Methods | |
| Oct 1, 2012 - Oct 5, 2012 |
Thessaloniki, Greece |
Apr 19, 2012 (Apr 4, 2012) |
| SE 2013 |
Software Engineering Journal | |
| N/A |
N/A |
Dec 30, 2013 |
|
