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
JSEA 2011 Journal of Software Engineering and Applications
N/A N/A TBD
EDCC 2010 Eighth European Dependable Computing Conference
Apr 28, 2010 - Apr 30, 2010 Valencia, Spain Oct 2, 2009 (Sep 25, 2009)
FASE 2010 Fundamental Approaches to Software Engineering
Mar 22, 2010 - Mar 26, 2010 Paphos, Cyprus Oct 8, 2009 (Oct 1, 2009)
SPLC 2010 14th International Software Product Line Conference
Sep 13, 2010 - Sep 17, 2010 Jeju Island, South Korea Feb 28, 2010
ISOLA 2010 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Oct 18, 2010 - Oct 20, 2010 Heraclion, Crete Mar 28, 2010
IWODSS 2010 The First International Workshop On Dependable Services and Systems
May 17, 2010 - May 18, 2010 Montreal, Canada Mar 30, 2010
AMAST 2010 Algebraic Methodology and Software Technology (Thirteenth International Conference)
Jun 23, 2010 - Jun 26, 2010 Manoir St-Castin Apr 9, 2010
NW-MODE 2010 8th Nordic Workshop on Model Driven Software Engineering
Aug 23, 2010 - Aug 26, 2010 Copenhagen, Denmark May 17, 2010
APSEC 2010 The 17th Asia-Pacific Software Engineering Conference
Nov 30, 2010 - Dec 3, 2010 Sydney, Australia Jun 4, 2010
CollaborateCom 2010 6th International ICST Conference on Collaborative Computing: Networking, Applications and Worksharing
Oct 9, 2010 - Oct 12, 2010 Chicago, Illinois, USA Jul 8, 2010
NFPinDSML 2010 3rd International Workshop on Non-functional Properties in Domain Sepcific Languages
Oct 3, 2010 - Oct 5, 2010 Oslo, Norway Jul 19, 2010
AOM @ MODELS 2010 15th Int'l Workshop on Aspect-Oriented Modeling @ MoDELS'10
Oct 3, 2010 - Oct 5, 2010 Oslo, Norway Jul 30, 2010
Modeling Wizards 2010 1st International Master Class on Model-Driven Engineering
Sep 30, 2010 - Oct 2, 2010 Oslo Aug 1, 2010
ACM DADS 2011 Dependable and Adaptive Distributed Systems Track at ACM SAC 2011
Mar 21, 2011 - Mar 25, 2011 Taichung, Taiwan Aug 24, 2010
VMCAI 2011 12th International Conference on Verification, Model Checking, and Abstract Interpretation
Jan 23, 2011 - Jan 25, 2011 Austin, TX, USA Aug 29, 2010 (Aug 22, 2010)
SOFSEM 2011 37th International Conference on Current Trends in Theory and Practice of Computer Science
Jan 22, 2011 - Jan 28, 2011 NovĂ˝ Smokovec, Slovakia Sep 10, 2010 (Sep 5, 2010)
AINA 2011 The 25th International Conference on Advanced Information Networking and Applications
Mar 22, 2011 - Mar 25, 2011 Biopolis, Singapore Sep 15, 2010
UML&FM 2010 Third IEEE International workshop UML and Formal Methods
Nov 16, 2010 - Nov 16, 2010 Shanghai, China Sep 19, 2010
IWSOS 2011 International Workshop on Self-Organizing Systems
Feb 23, 2011 - Feb 24, 2011 Karlsruhe, Germany Sep 26, 2010
ICST 2011 International Conference on Software Testing, Validation and Verification
Mar 21, 2011 - Mar 25, 2011 Berlin Oct 1, 2010 (Sep 25, 2010)
first | previous | Page 1 | next | last Total of 92 CFPs in 5 pages