1、计算机系统可靠性：从研讨会到航空交通管理的深度剖析

计算机系统可靠性：从研讨会到航空交通管理的深度剖析

1. 可靠计算研讨会概述

可靠计算在当今计算机领域至关重要，而拉丁美洲可靠计算研讨会（LADC 2003）为相关研究提供了重要交流平台。该研讨会是拉丁美洲唯一专注于计算机系统可靠性诸多问题的活动，它取代了有着 20 年历史的巴西容错计算机研讨会。其目标是吸引全球研究人员，共收到来自欧洲、南美和北美的 46 篇论文投稿。经过严格筛选，最终 19 篇论文入选会议论文集，其中包括 2 篇经验报告和 3 篇短文。此外，还邀请了 Henrique Madeira 和 Eliane Martins 贡献论文。

1.1 组织架构

研讨会的成功举办离不开强大的组织架构，以下是部分关键组织角色及其负责人：
| 角色 | 负责人 | 所属机构 |
| — | — | — |
| 大会主席 | Jo˜ao Batista Camargo Jr. | USP，巴西 |
| 程序联合主席 | Rog´erio de Lemos | 英国肯特大学 |
| | Taisy Silva Weber | UFRGS，巴西 |
| 本地安排主席 | S´ergio Miranda Paz | USP，巴西 |
| 宣传主席 | Jorge Rady de Almeida Jr. | USP，巴西 |
| 财务主席 | Paulo S´ergio Cugnasca | USP，巴西 |
| 出版主席 | Lucia Vilela Leite Filgueiras | USP，巴西 |
| 注册主席 | Ricardo Alexandre Veiga Gimenes