| Event | When | Where | Deadline | |
| ICFEM 2011 |
13th International Conference on Formal Engineering Methods | |
| Oct 25, 2011 - Oct 28, 2011 |
Durham, UK |
Apr 7, 2011 (Mar 31, 2011) |
| ISSRE 2011 |
22nd annual International Symposium on Software Reliability Engineering | |
| Nov 14, 2011 - Nov 17, 2011 |
Tokyo, japan |
May 10, 2011 (May 1, 2011) |
| SafeComp 2012 |
SafeComp 2012 - The 31st International Conference on Computer Safety, Reliability and Security | |
| Sep 25, 2012 - Sep 28, 2012 |
Magdeburg, Germany |
Feb 19, 2012 (Feb 5, 2012) |
| QoSA 2012 |
8th International ACM Sigsoft Conference on the Quality of Software Architectures | |
| Jun 25, 2012 - Jun 28, 2012 |
Bertinoro, Italy |
Feb 28, 2012 (Feb 17, 2012) |
|
