Program Committee

• Alternative Systems and Models
• Autonomic Computational Science
• Cloud Computing
• Embedded Systems
• Fault-Tolerance in Distributed Systems / Dependability
• Formal Methods in Distributed Systems
• Grid Computing
• Mobility and Dynamic Networks
• Multicore Computing
• Peer-to-Peer Systems
• Self-Organizing Systems
• Sensor Networks
• Stabilization
• System Safety and Security