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
SRDS 2011 IEEE 30th International Symposium on Reliable Distributed Systems
Oct 5, 2011 - Oct 7, 2011 Madrid, Spain Apr 13, 2011
MDPLE 2011 3rd International Workshop on Model-Driven Product Line Engineering
Jun 7, 2011 - Jun 7, 2011 Birmingham, UK Apr 14, 2011
CSDM 2011 Complex Systems Design & Management 2011
Dec 7, 2011 - Dec 9, 2011 Paris, France Apr 22, 2011 (Apr 4, 2011)
AOSD 2012 AOSD 2012 --- Call for Papers - Research Results
Mar 25, 2012 - Mar 30, 2012 Potsdam, Germany Apr 25, 2011
SERENE 2011 3rd International Workshop on Software Engineering for Resilient Systems
Sep 29, 2011 - Sep 30, 2011 Geneva, Switzerland Apr 28, 2011
JSS-SASAS 2011 Special Issue of the Journal Of Systems and Software on 'State of the Art in Self-Adaptive Software Systems'
N/A N/A Apr 30, 2011
SEFM 2011 9th International Conference on Software Engineering and Formal Methods
Nov 14, 2011 - Nov 18, 2011 Montevideo, Uruguay Apr 30, 2011 (Apr 23, 2011)
SDL 2011 15th International Conference on System Design Languages
Jul 5, 2011 - Jul 7, 2011 Toulouse, France May 2, 2011
MODELS 2011 International Conference on Model Driven Engineering Languages and Systems
Oct 16, 2011 - Oct 21, 2011 Wellington, New Zealand May 3, 2011 (Apr 18, 2011)
MOSE 2011 3rd International Workshop on Model-Driven Service Engineering
Oct 31, 2011 - Nov 3, 2011 Brussels, Belgium May 7, 2011 (Apr 30, 2011)
ASE 2011 IEEE/ACM International Conference on Automated Software Engineering
Nov 6, 2011 - Nov 10, 2011 Lawrence, KS, USA May 9, 2011 (Apr 25, 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)
ICTSS 2011 The 23th IFIP Int. Conference on Testing Software and Systems
Nov 7, 2011 - Nov 10, 2011 Paris, France May 15, 2011 (May 8, 2011)
FMCAD 2011 International Conference on Formal Methods in Computer-Aided Design
Oct 30, 2011 - Nov 2, 2011 Austin, Texas, USA May 18, 2011 (May 11, 2011)
GPCE 2011 Generative Programming and Component Engineering
Oct 22, 2011 - Oct 23, 2011 Portland, OR, USA May 28, 2011 (May 21, 2011)
PRDC 2011 The 17th IEEE Pacific Rim International Symposium on Dependable Computing
Dec 12, 2011 - Dec 14, 2011 Pasadena, California, USA May 31, 2011
ICSOC 2011 The Ninth International Conference on Service Oriented Computing
Dec 5, 2011 - Dec 8, 2011 Paphos, Cyprus Jun 10, 2011 (Jun 3, 2011)
ASAS 2011 Assurances for Self-Adaptive Systems
Sep 4, 2011 - Sep 4, 2011 Szeged, Hungary Jun 22, 2011
TSOS 2011 2nd Workshop on Trustworthy Self-Organizing Systems
Oct 3, 2011 - Oct 3, 2011 Ann Arbor, MI, USA Jul 11, 2011
SysCon 2012 6th Annual IEEE Systems Conference
Mar 19, 2012 - Mar 23, 2012 Vancouver, Canada Oct 1, 2011
first | previous | Page 4 | next | last Total of 92 CFPs in 5 pages