Event | When | Where | Deadline | |
ICSE 2009 |
31st International Conference on Software Engineering | |
May 16, 2009 - May 24, 2009 |
Vancouver, Canada |
Sep 5, 2008 (Aug 29, 2008) |
MEMOCODE 2009 |
Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign | |
Jul 12, 2009 - Jul 15, 2009 |
Cambridge, MA |
Feb 20, 2009 |
ESEC-FSE 2009 |
Joint 12th European Software Engineering Conference (ESEC) and 17th ACM SIGSOFT Symposium on the Foundations of Software Engineering | |
Aug 24, 2009 - Aug 29, 2009 |
Amsterdam, Netherlands |
Mar 16, 2009 |
FMICS 2009 |
14th International Workshop on Formal Methods for Industrial Critical Systems | |
Nov 2, 2009 - Nov 3, 2009 |
Eindhoven, The Netherlands |
Apr 7, 2009 (Apr 1, 2009) |
|