Event | When | Where | Deadline | |
WICSA 2011 |
9th Working IEEE/IFIP Conference on Software Architecture | |
Jun 20, 2011 - Jun 24, 2011 |
Boulder, CO, USA |
Feb 7, 2011 |
DisCoTec 2011 |
6th International Federated Conferences on Distributed Computing Techniques | |
Jun 6, 2011 - Jun 9, 2011 |
Reykjavik, Iceland |
Feb 13, 2011 (Feb 6, 2011) |
ICSOFT 2011 |
6th International Conference on Software and Data Technologies(ICSOFT) | |
Jul 18, 2011 - Jul 21, 2011 |
Seville - Spain |
Feb 16, 2011 |
DAIS 2011 |
11th IFIP International Conference on Distributed Applications and Interoperable Systems | |
Jun 6, 2011 - Jun 9, 2011 |
Reykjavik, Iceland |
Feb 20, 2011 |
FMOODS 2011 |
13th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems | |
Jun 6, 2011 - Jun 9, 2011 |
Reykjavik, Iceland |
Feb 20, 2011 (Feb 13, 2011) |
AReS 2011 |
The Sixth International Conference on Availability, Reliability and Security | |
Aug 22, 2011 - Aug 26, 2011 |
Vienna, Austria |
Feb 21, 2011 |
COMSWARE 2011 |
The Fifth International Conference on COMmunication System softWAre and middlewaRE | |
Jul 1, 2011 - Jul 3, 2011 |
Verona, Italy |
Feb 25, 2011 (Feb 18, 2011) |
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) |
ICCSM 2011 |
International Conference on Computer and Software Modeling | |
Sep 16, 2011 - Sep 18, 2011 |
Singapore |
Mar 10, 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 |
LAFT 2011 |
2nd International Workshop on Logical Aspects of Fault-Tolerance | |
Jun 20, 2011 - Jun 20, 2011 |
Toronto, Canada |
Mar 20, 2011 |
SAFECOMP 2011 |
The 30th International Conference on Computer Safety, Reliability and Security | |
Sep 19, 2011 - Sep 21, 2011 |
Naples |
Mar 21, 2011 |
FMICS 2011 |
Formal Methods for Industrial Critical Systems | |
Aug 29, 2011 - Aug 30, 2011 |
Trento |
Mar 25, 2011 (Mar 18, 2011) |
DEPEND 2011 |
The Fourth International Conference on Dependability | |
Aug 21, 2011 - Aug 27, 2011 |
Côte d'Azur |
Mar 31, 2011 (May 15, 2011) |
SPIN 2011 |
SPIN Workshop on Model Checking of Software | |
Jul 13, 2011 - Jul 14, 2011 |
Cliff Lodge, Snowbird, Utah |
Apr 1, 2011 |
ISRCS 2011 |
4th International Symposium on Resilient Control Systems | |
Aug 9, 2011 - Aug 11, 2011 |
Boise, USA |
Apr 4, 2011 |
ICFEM 2011 |
13th International Conference on Formal Engineering Methods | |
Oct 25, 2011 - Oct 28, 2011 |
Durham, UK |
Apr 7, 2011 (Mar 31, 2011) |
CONCUR 2011 |
22nd International Conference on Concurrency Theory | |
Sep 6, 2011 - Sep 9, 2011 |
Aachen, Germany |
Apr 8, 2011 (Apr 1, 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) |
ECSA 2011 |
5th European Conference on Software Architecture | |
Sep 13, 2011 - Sep 16, 2011 |
Essen, Germany |
Apr 10, 2011 (Apr 3, 2011) |