全国科普日丨人工智能走进大学校园活动在湖南大学举办

文章预览

2024年9月20日，全国科普日期间，由中国人工智能学会（CAAI）主办，CAAI 人工智能逻辑专委会协办，湖南省人工智能学会承办的“人工智能走进大学校园”活动走进湖南大学信息科学与工程学院。此次活动旨在推广人工智能领域的最新研究成果，激发学生们的创新思维。此次活动邀请了两位青年学者做报告，40余位从事人工智能相关领域的研究生和青年学者参与了此次活动。 活动现场合影 湖南大学数学学院副教授贾晓东的报告题目为《概率程序语言的指称语义基础》。他分享了指称语义的数学框架及其在程序语言中的重要性。他强调，通过数学理论，我们能够更好地理解和预测程序的运行行为，指导程序设计与验证。报告特别讨论了高阶概率程序语言的指称语义基础，涉及到领域内著名的Jung-Tix问题及其相关研究进展，引发了在场师生的热烈讨论。 ………………………………