11月17日，中国软件领域规模最大、影响最广的学术会议——CCF中国软件大会(ChinaSoft 2024)在西安圆满落幕。本届大会聚焦“智能软件创新赋能新质生产力发展”主题。来自国内外软件相关领域内学者、师生与从业者2400余人齐聚一堂，探讨软件相关领域发展的新思路，展示领域内最新学术研究动态以及技术成果。大会由中国计算机学会（CCF）主办，CCF形式化方法专委会、软件工程专委会、系统软件专委会、西安电子科技大学承办。 会上，林惠民、梅宏、吕建、管晓宏、王怀民等院士就大会主题作交流分享。杨孟飞、胡事民和尼玛扎西3位院士作了特邀报告。

学校计算机学院高可信与智能化软件研究团队受邀在2024中国软件大会专刊论坛做两场报告。一是团队研究生刘增鑫（指导老师：左正康、王昌晶）受邀在形式化方法与应用专刊论坛作“动态顺序统计树类结构的函数式建模及其自动化验证”专题报告。二是团队研究生朱小影（指导老师：左正康、王昌晶）受邀在面向复杂系统的软件分析与测试专刊论坛作“HashTrie算法的函数式建模、机械化验证及其应用”专题报告。

两个报告均受到与会专家的充分认可和广泛好评。团队王昌晶、左正康、游珍老师和南京大学李宣东教授（国家杰青、国务院学位委员会学科评议组成员、CCF软件工程专业委员会前任主任）、北京大学李戈长聘教授（教育部长江学者、CCF软件工程专委会副主任）等进行了深入学术交流。

此次中国软件大会由计算机学院副院长、国合基地副主任黄箐博士带队，参会人员包括计算机学院与国合基地师生，除此之外还有曾在江西师大就读、如今在复旦大学、武汉大学和天津大学攻读博士学位的学生。会上黄箐副院长增选为软件工程专委会执行委员。

大会期间，黄箐副院长、团队王昌晶教授、左正康博士拜访了软件工程领域的知名专家学者。