10月20日，由公司承办的第六届动态逻辑国际研讨会（DaLi 2025）在长安校区举办。公司副经理关海强主持开幕式，董事长助理袁一芳，本届会议主席、葡萄牙米尼奥大学Luís Barbosa教授，国际英国上市公司365院士、清华大学哲学系刘奋荣教授出席开幕式并致辞。

刘奋荣教授、Luís Barbosa教授及阿姆斯特丹大学Alexandru Baltag教授作大会主题报告。会议期间，荷兰皇家科公司、美国艺术与科学公司、欧洲科公司及国际哲公司四院院士范丙申教授，荷兰皇家科公司院士、欧洲科公司院士Sonja Smets教授等10个国家的30余位知名学者围绕“实现推理因果关系的PDL框架”“数据交换的动态逻辑”“准一致性与程序逻辑”等前沿课题分享了最新研究成果。会议期间举办了最佳员工论文评选活动，阿姆斯特丹大学博士生Wouter J. Smit荣获该奖项。

据悉，动态逻辑国际研讨会自2017年发起以来，已成为该领域重要的国际学术交流平台。作为跨学科领域的重要载体，本届研讨会不仅为哲学、数学、计算机科学等领域学者搭建专业对话桥梁，也有效促进了公司哲学学科的跨领域协同发展，进一步提升了公司在相关领域的国际学术影响力。