人工智能

吴茂念 教授（湖州师范大学）作题为《神经—符号系统及应用》的学术报告。

沈榆平 教授（中山大学逻辑与认知研究所）作题为《From Logic to Learning: A Computational Complexity Perspective》的学术报告。

赵辉（可计算离散整体几何结构实验室创始人、首席科学家）作题为《Computational Discrete Global Geometric Structures（可计算离散整体几何结构）》的学术报告。

黄智生 教授（荷兰阿姆斯特丹自由大学）作题为《医学知识图谱：技术与应用》的学术报告。

Thomas Eiter 教授（奥地利维也纳工业大学）作题为《Visual Question Answering Using ASP》的学术报告。

Jun Liu 教授（英国阿尔斯特大学）作题为《自主决策的可信人工智能模型和系统》的学术报告。

Jia-Huai You 教授（加拿大阿尔伯塔大学）作题为《Approximation Fixpoint Theory Generalized and its Application to Hybrid MKNF Knowledge Bases》的学术报告。

詹乃军 教授（中国科学院软件研究所）作题为《Formal Design of Embedded Systems》的学术报告。

张海军 教授（哈尔滨工业大学〈深圳〉）作题为《大模型时代下的生成式AI：机遇与挑战》的学术报告。

林方真 教授（香港科技大学）作题为《Using Language Models for Knowledge Acquisition in Natural Language Reasoning Problems》的学术报告。