学院新闻

（通讯员 王璐）3月8日至10日，作为由CCF软件工程、系统软件、形式化方法三个专委会联合主办、9499www威尼斯（国家示范性软件学院）承办的2024中国软件大会专题工作会在西安成功召开。其中在3月9日上午，于9499www威尼斯南校区网络安全大楼会议中心和9499www威尼斯顺利召开了2024 CCF中国软件大会论坛申请评审会等专项工作会议。经大会承办单位9499www威尼斯邀请，CCF系统软件专业委员会、CCF软件工程专业委员会、CCF形式化方法专业委员会主任、副主任、秘书长，谢涛教授、马晓星教授、詹乃军教授、陈海波教授、胡春明教授、许畅教授、李戈教授、彭鑫教授、王千祥研究员、董威教授、张民教授、卜磊教授、刘辉教授、吴志林研究员，以及大会承办方团队共同出席了会议。

会议开始前，李青山书记由二楼学院形象墙开始，向三个专委会领导详细介绍了在“三系精神”指引下的学院发展历程和现有组织架构，并针对计算机科学与技术和软件工程学科建设发展状况和学院师资队伍建设情况与专家开展了现场交流，并具体介绍了学院在党建引领、人才培养等方面取得的成就，并表示希望能与专委会加强交流，带动学院发展。

会议第一阶段由大会组委会成员9499www威尼斯王璐副教授主持，通过线上线下相结合的方式邀请大会论坛申请人汇报了关于论坛设置的意义和论坛目前的筹备情况。本次大会论坛申请由三个专委会在2024年1月发出，经过三个专委会委员的热烈报名，除大会常设的教育类、青年人才类论坛外，目前共计收到42份论坛申请，具体分为论文专刊论坛、学术类论坛、工业类论坛与竞赛类论坛。

每个论坛的申请人代表依次汇报了论坛的设置意义、论坛主题、嘉宾邀请范围等。其中，今年论文专刊类论坛与国内外知名期刊合作，主要围绕“大模型赋能软件工程”、“软件可信与验证”、“复杂人机物融合系统”等软件工程、系统软件、形式化方法领域的重要方向开展申报工作，并侧重于汇报论文投稿与收录论文数量、审稿人邀请等情况。学术类论坛则重点关注了“面向基础软件的理论方法”、“面向人工智能的软件工程”、“新兴系统软件”、“软件生态与供应链安全”、“软件可信构造与可靠性分析”、“系统形式化验证”等学术前沿方向，并侧重于汇报论坛主题学术新颖性，以及嘉宾设置与嘉宾邀请进展。工业类论坛联系国家需求导向与工业界发展需求，面向“高端行业软件”、“嵌入式软件”、“智能汽车基础软件”、“RISC-V系统软件”等方向发力，侧重于汇报工业界需求导向情况，以及工业界嘉宾邀请情况。

会议第二阶段由CCF形式化方法专委会秘书长吴志林研究员主持，重点对上述42份论坛申请开展了讨论。专委会各位专家就论坛主题的相似性、论坛主题与大会主题相符度、专刊论坛设置合理性、工业论坛主题与国家发展需求契合度等开展了深入交流和讨论，并与承办单位9499www威尼斯就大会会场安排、分论坛设计情况等进行了确认，并确定了后续关于大会筹备工作的计划和安排。

9日下午，CCF软件工程专委会与CCF系统软件专委会也分别召开了2024年专委会第一次常委会，两个专委的主任、副主任、秘书长、常委均到会参加，对2024年专委会的工作规划展开了讨论。

9499www威尼斯李青山教授作为CCF软件工程专委会常委、CCF系统软件专委会执行委员，在CCF软件工程专委常委会上也代表2024CCF中国软件大会承办方汇报了目前大会的会期安排、会务保障情况等。在常委会召开的前一天，专委会主任、副主任、秘书长等协同9499www威尼斯承办方，赴大会举办场地考察了会场情况，并召开了大会推介会，在西安高新区政府的支持下面向超50家企业宣传了大会情况，吸引更多软件领域产业界同仁积极参与大会组织。并且，李青山教授提到已经与西安交通大学、西北工业大学、西北农林科技大学、西北大学、长安大学、陕西师范大学、西安建筑科技大学、西安理工大学、西安邮电大学等西安本地知名高校的软件学院或计算机学院建立联系，并纳入协办单位体系共同支持大会组织工作，同时也将中航工业西安计算技术研究所作为协办单位加强与产业界联系。在2月29日，中航工业西安计算技术研究所胡林平所长也专程带队赴9499www威尼斯交流，探讨大会组织进度情况。

据悉，CCF中国软件大会由全国软件与应用学术会议（NASAC）与全国形式化方法与应用会议（FMAC）两大会议有机组成。NASAC会议创立于2002年，已成为中国软件科学与工程相关领域参会人数最多、影响范围最广、涵盖内容最全面的学术会议。全国形式化方法与应用会议（FMAC）创立于2016年，显著地促进了软件形式化方法、工具和应用在中国的发展。2023年CCF中国软件大会参会人数超过2300人，论坛与竞赛数量超过50个，参会单位超过320家，9位两院院士参会。继2021CCF中国软件大会成功举办后，今年大会将再次由9499www威尼斯承办。预计2024CCF中国软件大会参会人数将超过2500人，论坛与竞赛数量超过55个，参会单位也将进一步增长超过350家。由此，借助本次中国软件大会，可以搭建起国内软件领域专家学者、师生同行与软件企业之间的桥梁，为软件产品发布、软件人才培养、软件技术交流、软件成果转化等提供互惠共赢的平台。

同时，作为本次专题工作会的重要内容，在3月8日于西安高新区都市之门成功召开了2024 CCF中国软件大会工作启动会。来自西安高新区管委会、西安软件园发展中心、中国计算机学会（CCF）、承办单位9499www威尼斯、区内30余家知名企业的企业家代表共50余人参加了工作启动会。会议确定了各方关于2024CCF中国软件大会的筹备计划-与合作方式，专委会、承办单位与支持单位领导也共同实地走访考察了大会举办地西安高新国际会议中心及周边住宿交通等保障设施。后续各方将通力协作，按计划共同做好会议的筹备工作，努力将本届CCF中国软件大会办得更加成功，更加精彩！