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
MMB&DFT 2012 The 16th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance
Mar 19, 2012 - Mar 22, 2012 Kaiserslautern, Germany Oct 4, 2011
SEAMS 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Jun 4, 2012 - Jun 5, 2012 Zurich, Switzerland Jan 10, 2012
TASE 2012 6th IEEE International Symposium on Theoretical Aspects of Software Engineering
Jul 4, 2012 - Jul 6, 2012 Beijing, China Jan 20, 2012 (Jan 13, 2012)
ISARCS 2012 3rd International ACM Sigsoft Symposium on Architecting Critical Systems
Jun 26, 2012 - Jun 28, 2012 Bertinoro, Italy Feb 21, 2012 (Feb 14, 2012)
CSD&M 2012 3rd INTERNATIONAL CONFERENCE ON COMPLEX SYSTEMS DESIGN & MANAGEMENT
Dec 12, 2012 - Dec 14, 2012 Paris, France Apr 20, 2012
ICFEM 2013 International Conference on Formal Engineering Methods
Oct 29, 2013 - Nov 1, 2013 Queenstown, New Zealand Apr 22, 2013 (Apr 15, 2013)
first | previous | Page 5 | next | last Total of 92 CFPs in 5 pages