ORGANIZED BY: Instituto Nacional de Pesquisas Espaciais (INPE)

CO-SPONSORED BY (tentative):
• SBC – Brazilian Computing Society
• IEEE Computer Society Technical Committee on Dependable Computing and Fault Tolerance.

IN COOPERATION WITH (tentative):
• IFIP Working Group 10.4 “Dependable Computing and Fault-Tolerance”
• SMCC - Mexican Society for Computer Science
• SCCC - Chilean Computer Science Society
• SADIO - Argentine Society for Informatics and Operations Research

LADC is the major Latin-American event dedicated to discussing the many issues related to computer system dependability. This fifth edition will be held in São José dos Campos, São Paulo, Brazil. The LADC program will present technical sessions, workshops, student forum, tutorials, industrial tracks, and keynote talks from top international experts in the area. The symposium scope spans system, software, and hardware dependability research and technological challenges. Major topics include, but are not limited to:

• Engineering dependable systems: hardware, networking, software, deployment, and maintenance;
• Dependability of hardware: fault tolerant architectures, multi-core systems, virtualization, nanoscale computers, hardware dependability assessment;
• Dependability of software: frameworks and software architectures for dependability, runtime monitoring, adaptation, model driven dependability engineering, testing, verification, software certification;
• Dependability of networks: LAN, WAN, mobile, ad-hoc, sensor networks, protocols;
• Dependability of data: storage, databases;
• Dependability of maintenance: tuning performance and availability, security configuration;
• Dependability and human issues: human-computer interaction, management of complex systems;
• Security: foundations, policies, protocols, access control, intrusion detection, intrusion tolerance;
• Safety: incidents & accidents, risk perception and analysis, safety-critical applications and systems;
• Critical infrastructure protection;
• Algorithms and methods for dependable and secure computing;
• Dependability and security modeling, measurement and benchmarking.

Only original papers (not published or under review elsewhere) should be submitted. All submissions must be made electronically through the conference web site. There will be an award for the best paper of the conference. The conference proceedings will be published by the IEEE CS (tentative).