LADC 2016 - Latin-American Symposium on Dependable Computing

LADC is the major Latin-American event oriented to disseminate computer system dependability research advances. The LADC 2016 program will present technical sessions, workshops, tutorials, keynote talks from international experts in the area and an industrial track. The symposium scope includes system, software, and hardware dependability research works and technological challenges.
Major topics include, but are not limited to:
Fault tolerant hardware architectures, multi-core systems, virtualization, nanoscale computers, hardware dependability assessment.
Frameworks and software architectures for dependability, runtime monitoring, adaptation, model driven dependability engineering, testing, verification & validation, software certification.
Dependability of networks (LAN, WAN, mobile, ad-hoc, sensor networks, protocols, SDN).
Dependability of data storage and databases.
Dependability and human issues, human-computer interaction, management of complex systems.
Security foundations, policies, protocols, access control, intrusion detection, intrusion tolerance.
Incidents & accidents, risk perception and analysis, safety-critical applications and systems.
Critical infrastructure protection.
Dependability and security modeling, measurement and benchmarking.
Dependability of maintenance, tuning performance and availability, security configuration.