西电新闻网讯（通讯员 徐悦甡）11月20日至11月22日，CCF中国软件大会（CHINASOFT）在重庆召开，会议由中国计算机学会（CCF）主办，CCF系统软件↓专业委员会、CCF软件工程专业委员会、CCF形式化方法专业委员会、重庆大学大数据与软件学院承办。西安电子科技大◆学软件工程学科四个学科方∞向的骨干教师20余人及√部分学生，在学科负责人李青山教授、学科方向负ω　责人田聪教授、刘西洋教授、苗启广教授以及学科秘书长宋胜利教授的带领下参加了会议。学科参会教师和学生有多篇论文被◤录用并被推荐到《软件学报》等知◆名期刊，参会教师和学生还在大会举办的教学与学科竞赛中获得佳绩。特别地，我校获批了明年CCF中国软件大会的承办权，李青山参加了下届会议的承办交接仪式。

作为国内软件领域的年度■学术盛会※，本次大会组织了包括特邀报告、高峰论坛、青︾年学者论坛、会议论文报告、软件系统原型竞赛和产品展示等在内的30多个分领域学术活动。其中，院士高峰论坛ㄨ邀请了6位中国科学院或中国工程院院士，包括林惠民≡院士」、陈左宁院士、何积丰院士、梅宏院士、吕建院士与王怀民院士，围绕“软件定义智能，支撑创新时代”展开了热烈∑　的讨论，并发布了《软件科学与工程学科发展战略》。

西电软工学科参会教师█主持了若干个大会论坛，其中田聪教授主持了“形式化方法与应用论坛”，论坛上来自包括清华大◎学、西北工业大学、中南大学、西安电子科技」大学、首都师范大学等在内的22篇论文的作者代表做了论文报告。于斌博士主持了“顶会顶刊论坛”，论坛包括了国内最近一年发表在软件工程和〖形式化等领域的顶级国际会议与期刊上的代表性论文12篇，发表←出处包括CAV 2020、LICS 2020、ICSE 2020、ASE2020、IJCAI 2020以及TOSEM等。

学科参会教师与学生代表在大会上还汇报了多篇被录用的大会论文，被录用的论文同时会被推荐到《软件学报》等★知名期刊发表。其中，包括王小兵副教授的论文《基于MSVL的智能合约形式化验【证》，张南副教授的论文《芯片开发的功能验证形式化方法与应用》，张捷博士的论文《基于污染变量关系图的Android应用污点分析工具》以及王璐博士的论∴文《SAFER：基于事件关系保障识别质量的自适应分析方法》等。

除了学术论文与报告的交流，我校还获批了CCF中国软件大会2021的承办权，在11月21日晚上≡本次大会的招待晚宴上，李青山代表学校、学院与学√科致辞。李青山首先对CCF软件工程专委会、CCF系统软件专委会、CCF形式化方法专委会的信任表达了感谢，并邀请全国软件领域的专家同行明年来到※西安参加下一届CCF中国软件大会。同时，李青山承诺承办团队会在以往成功举办各类会议的基础上，秉承精益求精的宗旨，力争明年为大会的参会代表奉上一次高质量、高标准、高规格的学术盛会。

同时，在大会举办的一系列比赛与竞赛中，我校教■师与学生也取得了佳绩。蔺一帅博士负责的题为《“外卖平台”事件系统体系结构风格知识点案例》获得大会软件工程实践教学案例比赛一等奖，由李贺老师指导的参赛队伍获得第三届全国高校绿色计算创新大赛一等奖。

作为大会闭幕式的重要环节，11月22日下午，李青山代表学校、学院与学科，从承办单位概况、会议筹备方案、承办城市环境三个方面向各专委会常委以及参』会代表阐述了CCF中国软件大会2021的筹备方△案。在承办单位概况部分，李青山介绍了西电的发展历史与学科特色，总结了西电软件工程学科的发展历程与学科团队，回顾了举办过的软件工程领域的相关会议，阐明了西电软件◎工程学科与国内软件工程学科的紧密关联。接下来，李青山在介绍以往学科团队办会经验的基础上，给出了会场方案的规划，并从接待水平、设施设备、住宿条件、地理交通、周边环境等多个维度对可能的会场方案进行了综合分析。之后，李青山向与会＠代表简要介绍了承办城市︼西安在文化、科教、交通等方面的良好环境。

在承办权交接环节，李青山从本届大会主席之一、重庆大学大数据与软件学院党委书记々文俊浩手中接过了CCF中国软件大会2021的承办证书。在此，诚挚邀请并欢迎软件科学与工程等相关领域的专家、教师、同学、科研人员与从业者参加2021年CCF中国软件大会，期待明年，我们西安相聚！

据悉，CCF中国软件大会由全国软件与应用学术会议（NASAC）与全国形式化方法与◢应用会议♀(FMAC)两大会议发展而来，并于今年首次合并召开。其中，NASAC会议由中国计算机学会主办，CCF软件工程专业委员会和CCF系统软件专业委≡员会承办。NASAC会议创立于2002年，已成为中国软件科学与工程相关领域参会人数最多、影响范围最广、涵盖内容最全面的学术会议。全国形式化方法与应用会议（FMAC）由中国计算机学会主办，CCF形式化方法专业委员会承办，创立于2016年，有力地促〇进了形式化方法、工具和应用在中国的发展。本次中国软件大会采取了线上、线下相结合的参会方式，吸引了来自全国200多家单№位的代表参会，线下参会人数超过∏1400人。预计明年由我校计算机科学与技术学院承办的CCF中国软件大会线下参会人数将接近甚至超过2000人。同时，作为我校建校90周年庆祝活动的重要组成部↓分，明年大会的举办将更◆有力地扩大我校软件工程学科的影响力，推动软件工程学科的进一步发▲展，也会为学校“双一流”学科建设贡献更大的力量。