11月13日，2013年图灵奖获得者、美国国家工程院院士、分布式系统与形式化方法奠基人莱斯利·兰伯特（Leslie Lamport）博士应邀访问学校，围绕“分布式计算、形式化方法与人工智能的未来”主题，与学校师生及桂林地区高校、企业代表开展高水平学术交流。本次活动由学校主办，吸引了来自桂林电子科技大学、广西师范大学、桂林理工大学等高校的专家学者，以及桂林市贸促会、桂林国际商会和多家本地科技企业的技术骨干共同参与。
桂林广播电视台-桂林新闻栏目对相关活动进行了新闻报道。
相关新闻链接：
桂林广播电视台：《莱斯利兰伯特博士人工智能学术交流座谈会在桂林学院举办》
https://news.gltvs.com/202511/2025111810455982906766893f4fff.shtml
