Student Forum

LADC is the major Latin-American event on computer system dependability. The LADC 2019 program will present technical sessions, workshops, tutorials, fast abstracts, keynote talks from international experts in the area and an industrial track. The symposium scope includes recent research results on software and system dependability.

The Symposium is promoted by the CE-TF - Special Committee on Fault Tolerant Systems of the SBC (Brazilian Computer Society).

LADC'2019 will be held in Brazil at the beautiful city of Natal/RN from November 19 to 21, and will take place at the Instituto Metróplole Digital (IMD) premises of the Federal University of Rio Grande do Norte (UFRN). This year's novelty is that the IX Brazilian Symposium on Computing Systems Engineering (SBESC) will be co-located with LADC from November 19 to 22, 2019.

The Student Forum at LADC welcomes fresh and exciting ideas from students working in the field of dependable and secure computing. The forum is a great opportunity for students to present and receive early feedback on their research objectives, methods, and preliminary results. This year, in addition to the regular reviews, each accepted paper will receive direct feedback from a member of the program committee during the conference.

Important Dates

  • Paper submission: September 16th, 2019.
  • Author notification: September 30th, 2019.
  • Camera Ready: October 10th, 2019.
Submission Guidelines

Student papers should be single-authored, no longer than 6 pages in length, and formatted according to the IEEE Computer Society two-column camera-ready format. Students should submit papers as a Portable Document Format (PDF) file through JEMS:(

Accepted papers will be published in the supplemental volume of the LADC 2019 proceedings. If accepted, the student is committing to present the paper at the conference.

Comments and questions should be directed to the Student Forum Chairs: Andrey Brito (andrey at and Reinaldo Gomes (reinaldo at

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.