Event | When | Where | Deadline | |
ACM SAC 2015 |
30th Annual ACM Symposium on Applied Computing / Software Verification and Testing Track | |
Apr 13, 2015 - Apr 17, 2015 |
Salamanca, Spain |
Sep 12, 2014 |
VMCAI 2015 |
16th International Conference on Verification, Model Checking, and Abstract Interpretation | |
Jan 12, 2015 - Jan 14, 2015 |
Mumbai, India |
Sep 12, 2014 (Sep 5, 2014) |
ACM CM:SAC 2015 |
Track on Coordination Models, Languages and Applications | |
Apr 13, 2015 - Apr 17, 2015 |
Salamanca, Spain |
Oct 10, 2014 |
NFM 2015 |
NASA Formal Methods Symposium 2015 | |
Apr 27, 2015 - Apr 29, 2015 |
Pasadena, California, USA |
Nov 10, 2014 |
IJSEA 2015 |
International Journal of Software Engineering & Applications | |
N/A |
N/A |
Sep 19, 2015 |
|