vslatten's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar

Model-driven engineering, fault tolerance, formal methods, reliability, model checking

 Sort by 
 
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)
first | previous | Page 3 | next | last Total of 92 CFPs in 5 pages