本文转载自：第一届江西省高可信软件形式化方法及应用研习班正式开班

2025年7月7日上午，由中国计算机学会形式化方法专业委员会、江西省计算机学会主办，江西省计算机学会高可信软件形式化方法专委会与华东交通大学信息与软件工程学院承办的“第一届江西省高可信软件形式化方法及应用研习班”在华东交通大学专家楼正式开班。

开班仪式上，华东交通大学党委委员、副校长肖乾教授致欢迎辞。

中国计算机学会形式化方法专业委员会秘书长吴志林研究员讲话。

江西省计算机学会高可信软件形式化方法专委会主任肖美华教授主持开班仪式。

本次研习班吸引了来自南昌大学、江西师范大学、江西财经大学、华东交通大学、江西科技师范大学、景德镇陶瓷大学、九江学院、中国电信南昌分公司等省内高校及企业的50余名学员参加。学员在7.7-7.11进行为期5天的学习。

本次研习班邀请9位在高可信软件形式化方法领域具有丰富经验的专家进行授课，内容涵盖前沿理论、工程实践与关键应用案例，为青年学者与工程技术人员提供宝贵的学习与交流平台，也为推动江西省高可信软件人才培养、助力江西省数字化战略实施注入新的活力与动力。

本次研习班由江西省区块链学会、江西省工程师联合会、南昌众投科技有限公司、江西师范大学人工智能学院、高性能计算江西省重点实验室协办。江西省计算机学会数智职教专业委员会、江西省能源协会微电网与数智化分会、北斗通航与应用省级重点实验室、南昌市虚拟现实与交互技术重点实验室为支持单位。