2025年10月20-21日，由陕西师范大学哲学学院承办的第六届“动态逻辑”国际会议（The 6th Workshop on Dynamic Logic - New Trends and Applications，简称DaLí 2025）在陕西师范大学国际教育大厦举行。DaLí会议是逻辑学领域的高水平国际盛会，旨在集中探讨动态逻辑的理论重要性与实践价值。本次会议汇聚来自学术界与工业界、数学与计算机科学领域的多元研究力量。通过搭建交流平台，促进动态逻辑领域新趋势的传播与新应用的探索，推动跨学科对话与合作。往届DaLí会议曾于巴西利亚（2017）、波尔图（2019）、线上（2020、2022）及第比利斯（2023）成功举办。

中心硕士生张锟与熊作军副教授合作的论文入选会议常规论文，论文修订版被会后论文集收录，将由施普林格出版社（Springer）计算机科学系列丛书LNCS出版。在大会报告中，硕士生张锟作题为Dynamic Epistemic Logic with Private Communication的会议常规报告。

通过深度参与此次国际学术盛事，中心学生与来自阿姆斯特丹大学、清华大学等全球顶尖学府的学者展开对话。会议期间形成的思想碰撞，不仅为青年学者提供了宝贵的成长平台，更进一步巩固了中心在动态逻辑、知识更新理论等领域的影响力。这种高水平的学术交流，对于培养具有全球视野的逻辑学创新人才具有重要意义。

（张锟/图文，熊作军/审核、发布）