adel_ayara's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar

pervasive ubiquitous survivability dependability reliability formal specification logic

 Sort by 
 
Event When Where Deadline
DYADEM-FTS 2010 The First International Workshop on Dynamic Aspects in Dependability Models for Fault-Tolerant Systems
Apr 27, 2010 - Apr 27, 2010 Valencia, Spain Jan 13, 2010
DEPEND 2010 The Third International Conference on Dependability
Jul 18, 2010 - Jul 25, 2010 Venice, Italy Feb 20, 2010
ISARCS 2010 First International Symposium on Architecting Critical Systems
Jun 23, 2010 - Jun 25, 2010 Prague, Czech Republic Mar 1, 2010 (Feb 22, 2010)
TMFCS 2010 International Conference on Theoretical and Mathematical Foundations of Computer Science
Jul 12, 2010 - Jul 14, 2010 Orlando, USA Mar 3, 2010
CIT 2010 The 10th IEEE International Conference on Computer and Information Technology
Jun 29, 2010 - Jul 1, 2010 Bradford, UK Mar 5, 2010
ICTAC Workshops 2010 7th International Colloquium on Theoretical Aspects of Computing
Aug 30, 2010 - Aug 31, 2010 Natal, Brazil Mar 15, 2010 (Mar 8, 2010)
SEFM 2010 8th IEEE International Conference on Software Engineering and Formal Methods
Sep 13, 2010 - Sep 17, 2010 Pisa, Italy Mar 22, 2010
QEST 2010 7th International Conference on Quantitative Evaluation of SysTems
Sep 15, 2010 - Sep 19, 2010 Williamsburg, VA, USA Mar 29, 2010 (Mar 22, 2010)
IWODSS 2010 The First International Workshop On Dependable Services and Systems
May 17, 2010 - May 18, 2010 Montreal, Canada Mar 30, 2010
MISC 2010 International Symposium on Modelling and Implementation of Complex Systems
May 30, 2010 - May 31, 2010 Constantine Algeria Apr 2, 2010
SRDS 2010 29th IEEE International Symposium on Reliable Distributed Systems (IEEE SRDS 2010)
Nov 1, 2010 - Nov 3, 2010 Delhi, India Apr 10, 2010 (Mar 27, 2010)
ESA 2010 18th Annual European Symposium on Algorithms
Sep 6, 2010 - Sep 8, 2010 Liverpool, UK Apr 12, 2010
TIME 2010 Seventeenth International Symposium on Temporal Representation and Reasoning
Sep 6, 2010 - Sep 8, 2010 Paris, France Apr 12, 2010 (Apr 9, 2010)
MFCS 2010 35th International Symposium on Mathematical Foundations of Computer Science
Aug 23, 2010 - Aug 27, 2010 Brno, Czech Republic Apr 15, 2010 (Apr 10, 2010)
UIC 2010 The 7th International Conference on Ubiquitous Intelligence and Computing - Building Smart Worlds in Real and Cyber Spaces -
Oct 26, 2010 - Oct 29, 2010 Xi'an, China Apr 30, 2010
ATC 2010 The 7th International Conference on Autonomic and Trusted Computing
Oct 26, 2010 - Oct 29, 2010 Xi'an, China Apr 30, 2010
FMCAD 2010 International Conference on Formal Methods in Computer-Aided Design
Oct 20, 2010 - Oct 23, 2010 Lugano, Switzerland May 5, 2010
ISSRE 2010 The 21st annual International Symposium on Software Reliability Engineering
Nov 1, 2010 - Nov 4, 2010 San Jose, CA, USA May 10, 2010
PRDC 2010 Pacific Rim International Symposium on Dependable Computing
Dec 13, 2010 - Dec 15, 2010 Tokyo, Japan May 14, 2010
IHI 2010 1st ACM International Conference on Health Informatics
Nov 11, 2010 - Nov 12, 2010 Washington, DC Jun 4, 2010 (Jun 2, 2010)
first | previous | Page 1 | next | last Total of 23 CFPs in 2 pages