| Event | When | Where | Deadline | |
| MEMOCODE 2011 |
9th IEEE/ACM International Conference on Formal Methods and Models for Codesign | |
| Jul 11, 2011 - Jul 13, 2011 |
Cambridge, United Kingdom |
Mar 4, 2011 (Feb 25, 2011) |
| SIGSOFT/FSE 2011 |
19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and 13rd European Software Engineering Conference (ESEC-13) | |
| Sep 5, 2011 - Sep 9, 2011 |
Szeged, Hungary |
Mar 11, 2011 |
| SEKE 2011 |
The Twenty-Third International Conference on Software Engineering and Knowledge Engineering | |
| Jul 7, 2011 - Jul 9, 2011 |
Eden Roc Renaissance Miami Beach, USA |
Mar 22, 2011 |
| FMICS 2011 |
Formal Methods for Industrial Critical Systems | |
| Aug 29, 2011 - Aug 30, 2011 |
Trento |
Mar 25, 2011 (Mar 18, 2011) |
| TASE 2011 |
TASE 2011 - 5th IEEE International Symposium on Theoretical Aspects of Software Engineering | |
| Aug 29, 2011 - Aug 31, 2011 |
Xi'an, China |
Apr 8, 2011 (Apr 1, 2011) |
