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 |
|