LADC 2013 - 2013 6th Latin-American Symposium on Dependable Computing (LADC)

LADC is the major Latin-American event dedicated to discuss many issues related to computer system dependability. The LADC program will present technical sessions, workshops, tutorials, keynote talks from top international experts in the area and an industrial track. The symposium scope spans system, software, and hardware dependability researchs and technological challenges.
Major topics include, but are not limited to:
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.
There will be an award to the best paper of the Conference.