（通讯员 徐悦甡）作为由CCF软件工程、系统软件、形式化方法三个专委会联合主办、西安电子科技大学计算机科学与技术学院（国家示范性软件学院）承办、西安电子科技大学软件工程学科和西安市智能软件工程重点实验室具体实施的2024中国软件大会专题工作会第一项专项会议活动，在西安电子科技大学计算机科学与技术学院和西安软件园发展中心的共同策划下，为搭建2024 CCF中国软件大会与西安高新区信息技术企业之间沟通与合作的桥梁，3月8日在西安高新区都市之门成功召开了2024 CCF中国软件大会工作启动会。来自西安高新区管委会、西安软件园发展中心、中国计算机学会（CCF）、承办单位西安电子科技大学、区内企业家与行业协会代表等50余人参加了工作启动会。

参会代表有西安高新区有关领导，包括高新区党工委委员、管委会副主任李晓岚，西安软件园发展中心主任何惠明，高新区管委会工业和信息化局副局长廖鑫等；CCF代表包括CCF软件工程专委会主任、南京大学马晓星教授，CCF系统软件专委会主任、北京大学谢涛教授，CCF形式化方法专委会主任、中科院软件所詹乃军研究员，CCF形式化方法专委会副主任、国防科技大学董威教授与华东师范大学张民教授，以及三个专委会的秘书长，分别为北京理工大学刘辉教授、南京大学卜磊教授与中科院软件所吴志林研究员，CCF西北办事处主任牛瑞；西电承办方代表有西安电子科技大学计算机科学与技术学院党委书记、软件工程学科带头人、大会程序委员会联合主席、组织委员会主席、西安市智能软件工程重点实验室主任李青山教授，计算机科学与技术学院副院长、大会组织委员会副主席、西安市智能软件工程重点实验室副主任李瑞教授，大会组织委员会委员、西安市智能软件工程重点实验室骨干教师徐悦甡副教授等。西安市软件行业协会、北京和利时工业软件有限公司、西安葡萄城信息技术有限公司、西安精雕软件科技有限公司、TCL通力电子西安研究所、广和通、华为云、汇丰软件、中科创达、科大讯飞、大华智联、紫光国芯、润和软件、北方华创、梅林数据、中国电信陕西信产、四叶草、交叉信息技术研究院、中电太极、恒远科技等30余家知名企业的企业家代表。启动会由李瑞教授主持。

李明岚副主任代表西安高新区党工委与管委会对计算机学会、大会承办单位以及各家企业代表的到来表示热烈欢迎，表示软件产业是西安高新区产业的重要组成部分，是高新区践行自主创新、攻关硬件科技领域的重要抓手，催生了讯飞超脑等代表性成果。2024 CCF中国软件大会将是一次高水平的软件领域盛会，是学术界、企业界交流沟通的绝佳平台，希望我们各方共同做好会议的筹备工作，推动区内科技创新并进一步促进产业发展。

何惠明主任向与会代表介绍了高新区特别是西安软件园软件产业发展情况，指出作为全市乃至全省软件产业发展的主阵地，在西安市以及高新区的规划支持下，软件园产业发展质效持续提升，集群发展态势显著，创新能级不断提高，同时服务企业渠道越发通畅。软件园将与中国计算机学会、西安电子科技大学等一起，为今年CCF中国软件大会的举办做好保障，并以本次启动会为契机，依托大会联动CCF、西电与各家企业，促进产业链与创新链融合，为打造西安成为软件创业之都贡献力量。

大会程序委员会联合主席、组织委员会主席李青山教授从大会基本情况、举办方案制定、往届大会概况、会议组织架构、会议协同体系等五个方面详细介绍了大会情况。CCF中国软件大会（CCFChinaSoft）及其前身全国软件与应用学术会议已成功举办二十二届，现已成为中国软件界的年度盛会。2024年大会将由CCF软件工程专委会、系统软件专委会、形式化方法专委会以及西安电子科技大学共同承办，西安高新区管委会为大会支持单位。大会预计将吸引软件等领域学术界、工业界、教育界超过2500人参会，将继续成为软件相关领域学术分享、技术沟通、教育探讨、人才吸引、产业发展等全面交流与碰撞的平台。李青山重点回顾了由西安电子科技大学成功承办的2021届大会以及由复旦大学成功承办的2023届大会。2021届大会采用线上线下相结合的方式举行，注册人数超过1200人，参会单位近190家，开幕式与大会报告在线人数累计超过7万人次。特别地，大会承载了36个论坛与3项竞赛，达到当年历届最多。2021届大会的成功举办为本届大会各阶段的筹备工作积累了充足的经验，承办团队会再接再厉将今年大会的举办提升到一个新的层次。同时，李青山也诚挚地邀请高新区企业、行业协会等以协办单位或赞助商身份参与大会，组委会将全力作好协同对接工作。

CCF软件工程专委会主任马晓星教授、系统软件专委会主任谢涛教授、形式化方法专委会主任詹乃军研究员先后介绍了各专委的发展历史、专委组成、研究领域、代表性活动等，并回顾了CCF中国软件大会发展历程、代表性论坛与影响力等。特别地，三位主任介绍了企业界参与大会活动的成功案例，诚挚地邀请西安高新区企业加入到大会活动中来，专委会将与承办单位、支持单位密切联动做好全方面保障。

现场交流环节，在座的企业家代表与行业专家热情地为大会建言献策。北京和利时工业软件有限公司、西安葡萄城信息技术有限公司、西安精雕软件科技有限公司、TCL通力电子西安研究所、西安广和通无线通信有限公司以及西安市软件行业协会等单位的代表就企业业务、论坛构成、对接机制、人才交流、大会主题等话题积极表达了意见。专委会领导与李青山表示感谢各位企业家对于大会的关注与支持，也感谢大家提出的需求与建议，包括工业软件、低代码技术、人才交流、校企对接等也都是大会关注的话题，组委会将认真汇总各位代表的提议并作进一步讨论。

随后，专委会、承办单位与支持单位领导共同实地走访考察了大会举办地西安高新国际会议中心及周边住宿交通等保障设施。西安高新国际会议中心坐落于西安软件园核心区，拥有主会场、各类会议厅10余间，其中主会场可以同时容纳超过3000人参会，各会议厅可以容纳300人至100人不等，能够满足不同规模会议活动的需求。会议中心周边拥有陕西宾馆、安朴等集中住宿酒店，还有喜来登、中兴和泰、绿地假日等各层次酒店供各位代表选择，可满足各位师生、同行的住宿需求。会议中心毗邻西安市南三环，周边地铁、高架、高速交汇，距离机场、火车站时间均在30分钟左右，交通方便。

会前，在软件园发展中心领导的陪同下，专委会与西电计科院领导参观了西安高新区发展与成果展示大厅，了解了包括软件园在内的高新区发展历程、地理分布、产业布局、创新成果、未来规划等。特别地，参观过程中关注了高新区软件产业结构与发展，探讨了借助本次中国软件大会与本地软件相关企业联动交流的可行途径。

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