3、第一届国际研讨会 DALI 2017 介绍

第一届国际研讨会 DALI 2017 介绍

1. 研讨会背景

动态逻辑（Dynamic Logic）自1970年代由沃恩·普拉特（Vaughan Pratt）引入以来，逐渐成为计算机科学和逻辑学中不可或缺的一部分。它最初作为一种适合推理和验证经典命令式程序的逻辑，随着技术的进步，动态逻辑不断演进，涵盖了更多计算系统，如概率、连续和量子计算。2017年9月23日至24日，第一届国际研讨会 DALI 2017 在巴西利亚举行，标志着动态逻辑领域的一个重要里程碑。这次研讨会不仅汇集了全球顶尖学者，还展示了该领域的最新进展和未来方向。

研讨会的诞生

DALI 2017 的举办并非偶然。它是在 DaLí 项目——动态逻辑用于网络物理系统的启动会议上讨论产生的。DaLí 项目的编辑作为顾问和IR参与了此次研讨会的筹备工作。网络物理系统（Cyber-Physical Systems, CPS）是指物理过程与计算系统紧密结合的系统，如自动驾驶汽车、智能电网等。动态逻辑在这些系统中的应用，有助于提高系统的可靠性和安全性。

2. 研讨会的组织与参与

投稿与评审

研讨会收到了24份高质量的投稿，每份投稿至少经过三次严格的审稿过程。最终，12篇论文被接受为规则论文，并收录于本次会议的论文集中。这些论文涵盖了动态逻辑的各个方面，从理论基础到实际应用，展现了该领域的多样性和深度。

短论文与短格式贡献

除了规则论文，研讨会还收录了若干短论文。这些短论文最初作为短篇贡献提交，或由被邀请转换为短格式的常规提交。以下是部分短论文的作者及其贡献：