大会概述-CCF2024中国软件大会

2024 CCF中国软件大会（CCF ChinaSoft）于2024年11月15日至17日在陕西省西安高新国际会议中心召开。大会由中国计算机学会（CCF）主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、西安电子科技大学承办，西安电子科技大学计算机科学与技术学院（国家示范性软件学院）具体落实，西安市智能软件工程重点实验室负责实施，得到西安高新区管委会的大力支持。同时，大会由西安交通大学、西北工业大学、西北农林科技大学、西北大学、陕西师范大学、长安大学、西安理工大学、西安建筑科技大学、西安邮电大学、中国航空工业集团公司西安航空计算技术研究所、陕西省计算机学会协办，由华为技术有限公司、汇丰科技中国、蚂蚁集团、百度集团、知存科技有限公司、北京轩宇信息技术有限公司、荣耀集团、望安科技有限公司、北京开元维度科技有限公司等作为赞助商。本届大会的主题为“智能软件创新赋能新质生产力发展”。

CCF中国软件大会由全国软件与应用学术会议（NASAC）与全国形式化方法与应用会议（FMAC）两个会议有机组成。NASAC创立于2002年，已举办二十二届，由CCF主办，CCF软件工程专业委员会与CCF系统软件专业委员会共同承办，是中国软件科学与工程相关领域参会人数最多、影响范围最广、涵盖内容最全面的学术会议。全国形式化方法与应用会议（FMAC）创立于2016年，历经八届，由CCF主办，CCF形式化方法专业委员会承办。FMAC聚焦形式化方法理论前沿和最新研究进展，深化拓展形式化方法与相关领域的交叉，促进形式化方法、工具和应用在国内的发展。

两大学术会议NASAC与FMAC自2020年合并后，经过2020（重庆·重庆大学）、2021（西安· 西安电子科技大学/线上）、2022（上海·复旦大学/线上）、2023（上海·复旦大学）各届的发展，CCF中国软件大会的影响力继续扩大。大会在参会人数、参会单位、论坛数目、赞助与协办单位数量、媒体关注度等方面得到了持续且显著的提高。以2023届大会为例，参会人数超过2300人，参会单位超过320家，论坛数量超过45个，赞助与协办单位超过20家，报道媒体超过10家。规模庞大的参会人数、覆盖广泛的参会单位、丰富的论坛活动、协同化的办会体系、反响热烈的社会关注，不但显著扩展了大会在国内外软件相关领域的影响力，而且为领域内学者、师生与从业者提供了一个碰撞思想、建立联接、扩大影响的绝佳平台，同时也为今年大会的继续举办打下了坚实的基础。

在往届大会成功举办的基础上，2024 CCF中国软件大会将组织特邀报告、院士高峰论坛、青年学者论坛、大会常设论坛、论文专刊论坛、顶会顶刊论坛、学术论坛、工业论坛、教育论坛、学科竞赛、软件研究成果展示等近50个不同类型的活动。大会将邀请超过10位软件及相关领域中国科学院院士与中国工程院院士，为大会带来特邀报告并参加院士高峰论坛等活动。拟出席大会的两院院士包括中国科学院院士 林惠民、中国科学院院士梅宏、中国科学院院士吕建、中国工程院院士 廖湘科、中国科学院院士 杨孟飞、中国科学院院士管晓宏、中国工程院院士陆军、中国科学院院士 王怀民、中国科学院院士 冯登国、中国科学院院士 钱德沛、中国科学院院士胡事民、中国工程院院士 尼玛扎西。

作为中国软件领域的年度盛会，热烈欢迎软件领域学术界、企业界、教育界的学者、师生、从业者前来参会！

荣誉主席

林惠民

梅宏

吕建

主席

马晓星

谢涛

詹乃军

委员

金芝

李宣东

王戟

陈海波

傅育熙

黄志球

彭鑫

蒲戈光

大会主席

马晓星

谢涛

詹乃军

王泉

程序委员会主席

刘辉

卜磊

吴志林

李青山

委员：

边攀、陈碧欢、陈刚、陈俊洁、陈立前、陈明帅、陈睿、陈森、陈厅、陈振邦、陈震鹏、陈志峰、崔西宁、董威、董震、杜德慧、冯洋、符鸿飞、付明、高翠芸、高亮、顾斌、何勉、胡春明、胡星、黄勃、黄凯锋、江贺、江云松、姜佳君、姜艳杰、靳若春、黎立、李戈、李浩源、李建文、李建欣、李国强、李姗姗、李暾、李宣东、李运喜、李智、梁广泰、刘关俊、刘进、刘逵、刘烃、刘譞哲、王竟亦、娄一翎、吕荣聪、马雷、马晓星、马郓、牛建伟、潘敏学、彭鑫、戚正伟、石川、史佩昌、宋威、宋莹、苏亭、孙小兵、孙艳春、孙毓忠、谭添、陶先平、田聪、万成城、王博、王迪、王昊奋、王浩宇、王戟、王俊杰、王璐、王尚文、王伟、王心童、王焱林、王莹、王豫、王赞、王肇国、文俊浩、吴伟、武延军、夏鑫、夏虞斌、向剑文、肖然、谢涛、谢晓园、辛奇、邢明杰、邢颖、熊英飞、许畅、玄跻峰、杨珉、姚培森、姚远、余跃、岳涛、徐梦炜、张冬梅、张贺、张弘策、张洪宇、张燎原、张路、张民、张敏灵、张奇、张涛、张文杰、张宇霞、张昱、郑子彬、周俊伟、周明辉、欧阳中洪