2024 CCF中国软件大会会议通知（第三轮）

会议简介

会议安排

2024年11月15-17日

西安高新国际会议中心

报到时间：2024年11月14日，全天

报到地点：西安高新国际会议中心及官方推荐的嘉宾所住酒店

https://chinasoft.ccf.org.cn/

会议协同举办体系

中国计算机学会

华为技术有限公司

蚂蚁集团

百度集团

知存科技有限公司

北京轩宇信息技术有限公司

荣耀集团

望安科技有限公司

北京开元维度科技有限公司

大会拟出席院士

大会特邀报告嘉宾

会议组织机构

马晓星   谢   涛   詹乃军

金   芝   李宣东   王   戟   陈海波

傅育熙   黄志球   彭   鑫   蒲戈光

会议总日程

会议议程

2024年11月14日

2024年11月15日

2024年11月16日

2024年11月17日

会议论坛及竞赛组成

会议重要时间

会议注册费标准

https://ccf.org.cn/2024CCFChinaSoft

会议注册链接二维码

说明：本次会议通过CCF会议管理系统缴费，退费遵守《CCF关于会议注册费的退费规定》。

住宿与交通

本次会议推荐酒店将在会议网站（https://chinasoft.ccf.org.cn/hotel）陆续推出，参会代表可通过会议网站预定协议酒店，住宿费用由参会代表自行结算，发票由住宿酒店开具。

本次大会推荐美豪酒店（西安高新软件新城国际会议中心店）、水晶酒店（西安高新国际会议中心店）、西安高新喜来登酒店、西安陕宾雀笙酒店、西安安朴酒店、西安高新希尔顿欢朋酒店等作为各参会代表的住宿酒店，以上酒店可提供超过1200间客房且各类型房间的价格也较为合适。以上各酒店均分布在会议举办地即西安高新国际会议中心周围，交通方便。例如，美豪酒店距会议中心477米，步行约6分钟；西安高新喜来登酒店距会议中心均约1.6公里，步行约15分钟。对于距离稍远的酒店如西安陕宾雀笙酒店等，组委会将安排大巴统一接送。酒店的具体信息如下所示，其中价格等信息请以大会网站预订链接为最终标准。

酒店预订链接：https://kaili.kailimice.cn/f/utEqG6

酒店预订二维码

摆渡车安排详情请持续关注会议最新动态

1）打车:全程约20公里，约42分钟，约51元

2）公共交通: 乘坐地铁4号线（航天新城方向）西安站上车→6站后大雁塔站下车→站内换乘地铁3号线（鱼化寨方向）→7站后鱼化寨（F西南口出）下车→步行173米至 鱼化寨公交站(约3分钟)→乘坐西安高新云巴线（恒业大道站方向）→3站后省图高新馆站下车→步行692米至终点(约10分钟)西安高新国际会议中心。全程约1小时9分钟。

地铁4号线首末班车：06:28-23:28，首站发车约4分钟/趟。

地铁3号线首末班车：06:23-23:43，首站发车约6分钟/趟。

会议联系方式

论坛主席：陈振邦（国防科技大学）、夏虞斌（上海交通大学）、姜艳杰（北京大学）

论坛摘要：

本论坛聚焦研究热点和最新研究进展，邀请优秀学者到 CCF 中国软件大会介绍其工作并传授科研经验，以期带动软件领域的相关研究人员做出更高水平的学术贡献，发表高层次的学术论文。本论坛邀请了来自于中科院软件所的蔡少伟、清华大学的姜宇以及上海交通大学的陈榕等三位学术界的前沿研究者做特邀报告，讲授形式化方法、软件工程、系统软件领域前沿技术以及从事高水平前沿科学研究的经验。本论坛邀请了今年CCF A 类论文的作者作为论坛演讲嘉宾，在介绍研究工作的同时，也介绍在科研选题、破题、实验、写作以及推广应用等方面的经验和教训。本论坛一共有10篇论文获得 CCF A 类会议的最佳论文或者杰出论文奖     。

日程安排：

时间：2024年11月15日，08:30~18:00

地点：西安高新国际会议中心  首善厅A

论坛主席：李国强（上海交通大学）、徐梦炜（北京邮电大学）、张宇霞（北京理工大学）

论坛摘要：
CCF及各专委的博士学位论文激励计划为推动中国计算机领域的科技进步，鼓励创新性研究，激励计算机领域的博士研究生潜心钻研，务实创新，解决计算机领域中需要解决的理论和实际问题，表彰做出优秀成果的年轻学者而设立。本次论坛邀请了领域内对青年学者培养突出贡献的杰出学者/教育家，以及软件工程、系统软件、形式化方法三个专委2023年的博士学位论文激励计划的入选人，共同探讨青年学者培养和相关前沿技术话题。

日程安排：
时间：2024年11月17日，08:30~12:00
地点：西安高新国际会议中心 丈八厅

论坛主席：陈俊洁（天津大学）、陈刚（中山大学）、王竟亦（浙江大学）

论坛摘要：
2024年CCF中国软件大会设立优秀青年学者论坛，其核心目标是为在软件工程、系统软件、形式化方法等领域内深耕的青年学者们搭建一座桥梁，使他们能够在此平台上自由分享并深入交流其最新、最前沿的研究成果。此论坛汇聚了业界一线的青年才俊，旨在共同剖析国内外相关领域的发展趋势与前沿动态，促进跨学科的智慧碰撞与融合，进而加速中国青年软件人才的成长步伐。论坛鼓励青年学者“勇攀世界科技高峰、响应国家重大战略需求、紧贴国民经济核心战场”，坚持自主创新的道路，通过实践探索，为中国软件产业的蓬勃发展贡献力量。

日程安排：
时间：2024年11月17日，08:30~12:00
地点：西安高新国际会议中心 首善厅

论坛主席：靳若春（国防科技大学计算机学院）、张奇（复旦大学计算科学技术学院）、谢晓园（武汉大学计算机学院）

论坛摘要：

大模型评测是大模型研发体系中的关键一环，模型评测能够发现模型缺陷，指导模型优化方向，减少计算资源浪费，持续提升模型性能，确保大模型产品满足用户需求，推动大模型技术迭代进步。然而，现有大模型评测技术仍面临若干严峻挑战：面向大模型能力的客观评价和主观评价难以有机协同；大模型生成能力超过大多现有评测基准；因专业知识与评测专家缺乏，行业垂类大模型评测体系构建难度大；大模型评测数据集来源受限，数据管理、隐私保护存在缺陷……

大模型评测技术论坛拟围绕建立客观、公正、自动化的大模型评测体系展开，邀请各领域顶级专家学者从自然语言处理、软件测试、数据挖掘、数据管理等多个角度重点研讨大模型评测技术关键问题，为各领域专家协同创新、合作共享提供交流平台，助力构建更完善的大模型评测技术体系，推动大模型技术支撑千行百业持续健康发展。欢迎软件测试、软件工程、人工智能、数据科学、数据库等学科的专家和学者前来参加。

日程安排：

时间：2024年11月17日，08:30~12:00

地点：西安高新国际会议中心 细柳厅

论坛主席：张洪宇（重庆大学）、梁广泰（华为）、彭鑫（复旦大学）、文俊浩（重庆大学）、王俊杰（中国科学院软件研究所）、冯洋（南京大学）、边攀（华为）

论坛摘要：

随着大模型和人工智能技术的迅猛发展，利用智能化方法提升软件开发效率和质量正成为软件工程的研究热点。近年来，学术界和产业界都在积极探索和推动这一领域的发展，积累了丰富的技术成果和宝贵的经验。这些前沿的研究不仅推动了软件工程理论的发展，还在实际应用中展现出了显著的优势，为未来的软件开发带来了更高的自动化和智能化水平。本论坛将汇聚国内智能化软件领域的学术界专家和行业从业者，分享当前智能化软件开发、测试和维护领域的最新技术和趋势，以及他们的宝贵经验。参会者将与该领域专家和行业从业者进行交流，共同探讨智能化软件开发、测试和维护中存在的问题和解决方案，推进软件工程理论和技术的发展。

日程安排：

时间：2024年11月15日，08:30~12:00

地点：西安高新国际会议中心 丈八厅

论坛主席：邢颖（北京邮电大学）、石川（北京邮电大学）、张涛（澳门科技大学）、孙小兵（扬州大学）、李戈（北京大学）

论坛摘要：

随着人工智能技术的飞速发展，软件工程正经历着前所未有的变革。过去独立发展的人工智能和软件工程两个学科，正逐渐走向交汇并形成新的研究领域。随着AI技术的崛起，我们见证着软件工程手段的变革，同时也在面对着其所带来的问题和挑战。SE4AI（Software Engineering for Artificial Intelligence）主要涉及应对人工智能实际应用的挑战所需要的软件工程方法与技术。SE4AI提供了一个框架，确保AI系统的开发和维护过程中能够应用软件工程的原则和最佳实践，使得AI系统既能满足功能需求，又具有高度的可靠性、可维护性和可扩展性。随着AI技术的不断进步和应用的不断扩展，SE4AI的研究和实践将对确保AI系统的质量和可靠性发挥关键作用，同时推动AI技术的健康发展和广泛应用。论坛重点关注应对人工智能实际应用的挑战时可能采取的技术和方法，以及人工智能和软件工程交叉领域的理论、技术或实验等方面创新性、突破性的高水平研究成果，探讨其产业界的应用案例与发展前景。欢迎软件工程、信息安全、人工智能等学科的专家和学者以及所有感兴趣的同行们前来参加。

日程安排：

时间：2024年11月15日，13:30~18:00

地点：西安高新国际会议中心 首善厅B

论坛主席：郑子彬（中山大学）、Michael R. Lyu（香港中文大学）、李戈（北京大学）、王焱林（中山大学）

论坛摘要：

近年来，区块链、大模型等新型软件得到了快速的发展，诸多应用也已被应用在了诸如金融、医疗、软件开发、供应链等各个领域。然而新型软件的复杂性和动态性，使得其可靠性成为了研究和工业界关注的焦点。本论坛重点探讨区块链、大模型、云软件等新型软件的可靠性问题，包括新型软件中的软件测试、缺陷检测、监控、安全性分析等。论坛汇集软件工程、人工智能、网络安全等领域的多位专家学者共同讨论该领域的最新研究进展和成果，进一步推动新型软件的发展。提升新型软件的可靠性对于保障软件安全、信息安全、交易安全等具有重要意义。欢迎智能软件、软件可靠性、软件安全、人工智能等学科的专家和学者前来参加。

日程安排：

时间：2024年11月15日，08:30~12:00

地点：西安高新国际会议中心 细柳厅

论坛主席：王伟（中国科学院软件研究所）、史佩昌（国防科技大学）、陈志峰（中国电子技术标准化研究院）

论坛摘要：

数字时代的蓬勃发展正加速物理世界与数字世界的融合。作为数字经济时代的核心驱动力，算力已成为极具战略价值的新型基础设施。在自然语言处理、计算机视觉等人工智能领域，对算力的需求不断增长。尤其是大型语言模型的训练和推理，它们需要处理和学习大量数据，进行复杂的计算，这无疑对算力提出了巨大挑战。因此，亟需探索一种能够广泛支撑新型计算模式的算力服务体系，从而进一步解决算力资源不足、分布不均衡、利用率不高等现实问题。推动超算算力、通用算力和智算算力等算力资源通过云化接入、云际互联和云际协作等方式构建中国算力网是形成高效算力服务体系的有效思路。当前，我国已正式启动“东数西算”工程，通过建设若干国家算力枢纽节点和国家数据中心集群，构建新型算力网络体系，这是云际计算范式应用实践的典型场景，也是支撑国家战略的一次重要机遇。第八届云际计算技术论坛为从事云际计算系统软件研发、场景创新、技术突破、示范应用和标准研制的专家学者以及企业代表提供了一个深入交流与研讨的平台。论坛旨在分享探讨云际计算系统软件的研究进展和应用前景，展示最新科研成果和成功案例，促进国内产业界与学术界的交流合作，助力中国算力网的高质量发展。

日程安排：

时间：2024年11月17日，8:30~12:00

地点：西安高新国际会议中心 五星厅

论坛主席：周明辉（北京大学）、高亮（华为）、黎立（北京航空航天大学）

论坛摘要：

开源已成为全球多技术领域创新主流模式，在全球核心技术领域生态体系中，大前端领域开源软件项目占比高达97%，人工智能、区块链、操作系统等领域开源软件项目占比也超过80%，开源逐渐改变软件领域的竞争方式和市场格局。因此，对开源生态的多维度治理（安全、合规、供应链、优选、评估等维度），就成为了保障产品和软件质量、安全的关键所在。当前工业界在开源软件生态治理及开源社区生态治理上已有了大量探索，学术界对于如何对开源生态治理提出了诸多先进的理论和实践，同时，在开源基金会及标准组织中也有了大量的规范标准共同来定义开源生态治理的要素，而这些优秀的理论、实践、标准，如何更有效的结合，实现对开源生态真正有效的治理，本分论坛旨在邀请学术界和工业界嘉宾围绕开源生态治理的理论、方法、关键技术、最佳实践开展研讨，为我国建立可持续发展的健康的开源生态提供支持。欢迎关注开源生态治理的专家和学者前来参加。

日程安排：

时间：2024年11月17日，08:30~12:00

地点：西安高新国际会议中心 灵沼厅

论坛主席：刘譞哲（北京大学）、王璐（西安电子科技大学）、万成城（华东师范大学）、陈震鹏（南洋理工大学）、娄一翎（复旦大学）

论坛摘要：

“人机物”三元融合使得人与传统计算设备（“机”）和新兴物联设备（“物”）紧密互动，通过泛在智能软件将智能技术融入到各个应用场景中，为用户提供高质量的个性化服务。泛在智能软件造福广大用户的前提是“有智”且“智”得可信，建设可信的泛在智能软件已成为推动经济社会发展和产业深刻变革的关键。

可信泛在智能软件系统论坛旨在探讨该类软件系统在需求工程、软件架构设计、验证、开发流程、DevOps/ MLOps/ MLSecOps/ LLMOps、可信保障等方面的最新进展和发展现状。论坛汇集RISC-V软件供应链、软件供应链建设、软件供应链落地实践及人工智能融合方法等的发展趋势和潮流。欢迎软件工程、系统软件、信息安全、人工智能等学科的专家和学者前来参加。

日程安排：

时间：2024年11月15日，13:30~18:00

地点：西安高新国际会议中心 五星厅

论坛主席：张民（华东师范大学）、刘关俊（同济大学）、董威（国防科技大学）
论坛摘要：
人机物融合系统是一种集成人类社会、信息空间和物理世界的软件密集型系统。人工智能技术的快速发展正使得系统从人机无互联向人机物智联阶段跨越式发展。然而，AI算法和系统自身存在安全隐患，如何确保系统的安全可信是实现大规模智能互联与协作的重要前提。
高可信人机物融合智能系统论坛面向人机物融合系统的安全可信问题，聚焦系统的安全可信理论、技术与方法和案例分析，具体内容包括神经网络模型的形式化验证、智能控制系统建模与验证、大语言模型的安全可信保障技术、神经网络模型的攻击与防御方法等内容，为国内外学者提供交流和学习当前人机物智能系统安全可信技术与方法最新学术成果的平台。
日程安排：
时间：2024年11月15日，08:30~12:00
地点：西安高新国际会议中心鱼化厅

论坛主席：陈明帅（浙江大学）、符鸿飞（上海交通大学）、潘敏学（南京大学）、王迪（北京大学）、岳涛（北京航空航天大学）
论坛摘要：
近年来，安全攸关软件系统发展呈现出开放性、智能化、人机物融合等新趋势，涉及开放、并发、多变的计算和运行环境，数据驱动的学习赋能部件，以及量子计算、近似计算等新型计算范式，这些新特性在数据、模型、逻辑、算法、实现等多个系统层面引入了高度的随机性和不确定性，影响着软件系统设计、开发、测试、维护等各个阶段，为其可靠性保障带来了巨大挑战。
不确定性软件理论与工程论坛围绕泛在智能时代下软件系统面临的不确定性问题，邀请软件理论与工程领域的国内外专家学者，分享最新的研究成果和实践经验，共同探讨面向不确定性的安全攸关系统质量和可靠性保障方法。本论坛设置两个主题：主题一关注不确定性感知的软件工程，探讨如何有效地识别、度量、建模和处理软件工程各阶段的不确定性，并探索相关成果在自动驾驶系统等复杂软件系统中的应用；主题二关注非确定性系统的形式化验证，探讨概率编程、量子程序等非确定性模型上的定量验证与自动推理方法，并探索相关成果在近似计算、量子计算及人工智能与机器学习等领域的理论与应用价值。
日程安排：
时间：2024年11月16日，15:00-18:00
地点：西安高新国际会议中心 秦渡厅

论坛主席：黎立（北京航空航天大学）、王浩宇（华中科技大学）、王璐（西安电子科技大学）、谢涛（北京大学）
论坛摘要：
移动软件工程是软件工程领域中一个新兴，热门且重要的研究领域，其主要关注传统软件工程方法论（概念、方法、工具、模型与编程方式）在移动软件系统（比如Android，iOS，以及以OpenHarmony为代表的新兴移动生态）中的应用。相关研究人员从安全和隐私分析、应用程序质量保证、应用程序商店分析等诸多方面为该领域做了大量的工作。
本次论坛关注移动智能终端、移动APP和小程序的安全和质量等方面的突破性、创新性研究进展和成果，并重点讨论移动软件工程未来的发展趋势和方向。
日程安排：
时间：2024年11月16日，15:00~18:00
地点：西安高新国际会议中心 灵沼厅

论坛主席：李建文（华东师范大学）、张弘策（香港科技大学（广州））、李暾（国防科技大学）
论坛摘要：
形式验证@EDA论坛聚焦于EDA中的形式验证技术，包括SAT/SMT求解、硬件模型检测、等价性验证、基于断言的形式验证、指令集一致性形式验证、信息安全性质形式验证、缓存一致性协议形式验证、乘除法器和浮点计算单元形式验证、指令集语义形式建模、硬件设计形式验证案例研究等。EDA软件对于芯片设计开发至关重要，属于中国急需突破的卡脖子技术。形式验证是保证计算机软硬件系统正确性与安全性的非常重要的手段，已经成为EDA软件芯片设计验证工具不可或缺的组成部分，全世界三大EDA软件厂商Cadence、Synopsis、Siemens的EDA软件均包含成熟的芯片设计形式验证工具。本论坛的长期举办希望能推动EDA中的形式验证技术在中国的发展，促进相关研究社区的形成，为缓解EDA卡脖子问题贡献力量。
日程安排：
时间：2024年11月15日，13:30~18:00
地点：西安高新国际会议中心 灵沼厅

论坛主席：王肇国（上海交通大学），付明（华为），卜磊（南京大学）

论坛摘要：

本论坛旨在探讨形式化方法在系统软件中的应用，可以激发新的研究与开发方向，推动技术革新，促进形式化方法的理论研究成果向真实系统应用转移，加速这些方法在实际系统软件开发中的应用。同时，提供一个形式化专家与系统软件专家交流的平台，使学者、工程师和行业专家能共同探索形式化方法在不同领域的应用，碰撞出火花，推动形式化和系统软件领域的共同进步。

本次论坛报告邀请到了来自高校院所和工业界的多位大咖，涵盖了形式化方法在操作系统、编译器、数据库、网络基础设施、工业软件、区块链、并发系统、视窗界面等方面的研究进展，欢迎各位专家和学者前来参加。

日程安排：

时间：2024年11月17日，08:30-12:00

地点：西安高新国际会议中心  秦渡厅

论坛主席：陈碧欢（复旦大学）、陈森（天津大学）、余跃（国防科技大学）、黄凯锋（同济大学）、彭鑫（复旦大学）、张宇霞（北京理工大学）
论坛摘要：
软件已经渗透到国民经济和国防建设的各个领域，成为了当代信息社会的重要基础设施。然而，复杂的软件供应链引入了一系列安全问题，软件供应链安全事故频频发生。目前，软件供应链安全已经上升至国家级战略，对于信创和软件产业、国民经济、国防与国家安全等发挥着重要的支撑作用。全球多国也陆续发布了软件供应链安全相关的规划与政策。因此，面向软件生命周期的各个环节，发展软件供应链安全分析与保障技术，提升我国软件和信创产业的自主、可控与安全，是工业界和学术界的必由之路。本次论坛将邀请来自企业的业界专家以及来自高校的研究学者共同围绕该话题进行专题报告和讨论，分享工业界和学术界研究与实践的最新发展，共同探讨未来的发展趋势。
日程安排：
时间：2024年11月16日，15:00~18:00
地点：西安高新国际会议中心 细柳厅

论坛主席：王戟（国防科技大学）、李宣东（南京大学）
论坛摘要：
近年来人工智能领域在深度神经网络和以大语言模型为代表的基础模型技术方面产生的重大突破，推动信息世界、物理世界和人类社会日趋交叉融合，进一步打开了开放、动态和不确定场景下的复杂应用需求空间。有效解决开放、动态和不确定场景下的复杂应用问题，需要采用基于逻辑设计的符号计算和基于概率统计的神经计算相融合的智能化方案，这样的解决方案对应于一种新的软件形态：神经符号融合软件。神经符号融合软件有机结合基于逻辑设计的符号算法和数据使能的神经网络模型解决开放、动态和不确定场景下的复杂应用问题，在国防和经济建设的智能化应用领域存在广泛需求，是关键软件技术前沿领域战略性竞争的重要制高点。
神经符号融合软件作为新的软件形态，承载着数据知识双驱动的复杂系统构造和运行，目前缺乏针对性和系统性的软件理论和方法，亟需发展基础性的可信理论与方法以支撑新一代软件的可信构造与保障。本论坛拟就神经符号软件的模型与语言、设计与构造、可信与演化等内容开展前沿分析，探讨研发路线。欢迎软件工程、人工智能、可信软件等领域的专家和学者前来参加。
日程安排：
时间：2024年11月15日，08:30~12:00
地点：西安高新国际会议中心 东大厅

论坛主席：王莹（东北大学）、李姗姗（国防科技大学）、谢晓园（武汉大学）
论坛摘要：
为进一步激发女性科技人才创新活力，2021年科技部等十三个部门印发《关于支持女性科技人才在科技创新中发挥更大作用的若干措施》。为响应文件的号召，我们首次在中国软件大会上组织”软件工程女性论坛“。论坛聚焦在软件工程领域内，通过海内外、不同年龄层(女性科学家、女性青年教师和博士生)的软件工程领域优秀女性学术报告和经验交流的方式展示女性研究者在学术界和工业界的风采。以此鼓励软件工程领域的女性研究生、青年教师，勇敢追逐自己的科研梦想。我们相信，女性丰富在学科领域的计算生态环境有无可取代的作用。
日程安排：
时间：2024年11月17日，8:30-12:00
地点：西安高新国际会议中心 东大厅

论坛主席：许畅（南京大学）、夏鑫（华为）
论坛摘要：
软件前沿技术导引论坛的目的是为了更好地对一个领域（例如程序分析和验证、软件供应链安全、软件测试和分析、大模型下的软件工程等）进行回顾和综述，挖掘该领域的机遇和挑战，并在此基础上提出新的研究点，从而可以更好地让相关老师和学生快速全面地了解该领域。
日程安排：
时间：2024年11月15日，08:30~12:00
地点：西安高新国际会议中心 灵沼厅

论坛主席：江 贺（大连理工大学）、刘 辉（北京理工大学）、李姗姗（国防科技大学）
论坛摘要：
青年科技人才是软件学科发展的生力军，是软件学术生态生生不息的源泉。青年人才成长论坛面向高年级博士生和青年教师，围绕如何凝练科学问题、如何申报科研项目等主题，为我国从事软件相关研究的青年科技人才搭建一个合作交流平台，达到互相学习、共同提高的目的。论坛将邀请近年来获批国家自然科学基金青年项目等科研项目的老师，结合自身的科研方向，分享凝练科学问题、撰写项目申请书、独立开展科研工作等的经验体会。
日程安排：
时间：2024年11月16日，15:00~18:00
地点：西安高新国际会议中心 鱼化厅

论坛主席：王赞（天津大学）、王莹（东北大学）、陈碧欢（复旦大学）、姚远（南京大学）、张敏灵（东南大学）
论坛摘要：
以ChatGPT为代表的大模型的发展给软件质量保障带来了新机遇。本论坛重点关注国内在大模型时代下的软件质量保障问题上的最新进展，内容主要涵盖大模型赋能的软件质量保障研究（LLM4QA），包括基于大模型的软件测试、代码优化、代码翻译、开源生态分析、多智能体协作等方面。欢迎软件工程、人工智能等学科的专家和学者前来参加。
日程安排：
时间：2024年11月16日，15:00~18:00
地点：西安高新国际会议中心 兴隆厅

论坛主席：向剑文（武汉理工大学）、陈厅（电子科技大学）、杨珉（复旦大学）、周俊伟（武汉理工大学）

论坛摘要：

“新兴软件与系统的可信赖性与安全”专刊论坛聚焦新兴软件与系统的可信赖性与安全理论前沿，旨在我国标志性学术刊物上反映可信赖性与安全领域的最新研究成果，特别是人工智能与新兴软件于系统交叉融合过程中伴生的可信赖与安全问题、人工智能赋能的攻击和防御技术，包括抗量子攻击密码、工业物联网边缘设备APT防护、软件供应链防护、对抗性AI攻击防护、利用大语言模型的社会工程攻击防护、系统日志异常检测与根因分析、软件老化、关键信息基础设施防护等，为构筑安全、可信的新兴软件与系统提供支撑，促进可信赖性与安全方法、技术和工具在国内的应用和发展。

“新兴软件与系统的可信赖性与安全”专刊论坛，为新兴软件与系统关键技术研究、安全保障、可信及其相关领域的学术界、工业界研究人员提供一个分享和研究成果与实践的交流平台。欢迎软件工程、系统软件、信息安全、人工智能等学科的专家和学者前来参加。

日程安排：

时间：2024年11月16日，15:00~18:00

地点：西安高新国际会议中心  庞光厅

论坛主席： 武延军（中国科学院软件研究所）、谢涛（北京大学）、侯锐（中国科学院信息工程研究所）、张科（中国科学院计算技术研究所）、宋威（中国科学院信息工程研究所）、邢明杰（中国科学院软件研究所）

论坛摘要：

RISC-V指令集架构的开放性、模块化、高度可定制性的特点使得其成为体系结构和软件系统创新的理想实验平台。RISC-V技术的发展，一方面为操作系统、编译器等系统软件在设计实现、测试验证、安全可信等方向带来了新机遇和新挑战；另一方面，也推动了软硬协同设计、优化等技术的进一步创新与发展。近年来，RISC-V相关技术已逐渐成为国内外学者的关注点和研究热点。

RISC-V系统软件及软硬协同技术论坛，聚焦操作系统、编译器、基础库等系统软件在RISC-V平台上的基础性问题，以及基于RISC-V指令集架构的软硬协同技术。专刊论坛重点关注在相关研究领域创新性、突破性的高水平研究成果，旨在进一步推动国内RISC-V相关的技术发展和生态建设，促进学术交流。欢迎相关领域的专家学者及科研人员前来参会。

日程安排：

时间：2024年11月15日，13:30~17:30

地点：西安高新国际会议中心  东大厅

论坛主席： 陈明帅（浙江大学）、田聪（西安电子科技大学）、熊英飞（北京大学）

论坛摘要：

形式化方法基于严格的数学化和机械化方法来规约、设计、构建、验证、演进计算系统，是改善和确保计算系统质量的重要方法，其模型、技术和工具已延伸成为计算思维的重要载体。

形式化方法与应用专刊论坛聚焦形式化方法理论前沿，围绕形式化方法基础理论、技术、支撑工具及领域应用，重点关注形式化方法与理论计算机科学、软件工程、基础软件（操作系统、编译器等）、嵌入式系统、人机物融合系统、概率/量子系统、网络与信息安全、可信人工智能（智能制造、智能交通、智能控制、可信机器学习）等领域的交叉结合，旨在于我国标志性学术刊物上反映形式化方法领域的最新研究成果，深入拓展形式化方法与相关领域的交叉，促进形式化方法、技术和工具在国内的应用和发展。

日程安排：

时间： 2024年11月16日，15:00-18:00

地点： 西安高新国际会议中心 草堂厅

论坛主席： 孙毓忠（中科院计算所）、宋莹（北京信息科技大学）、戚正伟（上海交通大学）、李建欣（北京航空航天大学）
论坛摘要：
随着大模型在自动驾驶、航空航天、智能物联网等领域的逐步推广，如何将其高效部署在资源受限的边缘侧设备上已成为当前学术界和工业界共同关注的焦点。边缘侧大模型不仅需要具备多模态整合和轻量化推理的能力，还需要充分优化算力资源、提升服务效率、降低推理成本，并适合部署在异构计算硬件平台上。为满足这些需求，需要在云端大模型训练、大模型蒸馏量化为小模型、云边协同、面向AI应用的硬件架构、和国产软硬件等方面提升生态协同效率，并在“性能优先”和“成本优先”之间灵活权衡。以车载系统为例，由于其计算、存储、能耗等方面的严格限制，实现低延迟、高可靠、高能效的大模型推理成为一项极具挑战性的任务。
组织形式为：公开征集相关论文，经过专家的评审，由筛选出论文作者在论坛进行汇报、交流。投稿论文经大会两轮评审择优推荐给《计算机学报》。除了专刊论文汇报，本论坛还邀请在学术界和工业界本领域资深学者和专家进行交流。
日程安排：
时间： 2024年11月16日，15:00~18:00
地点： 西安高新国际会议中心 五星厅

论坛主席： 玄跻峰（武汉大学）、陈立前（国防科技大学）、辛  奇（武汉大学）、张洪宇（重庆大学）

论坛摘要：

复杂系统为软件工程技术带来了理论研究和应用研究的机遇和挑战。软件分析与测试技术贯穿软件工程过程，涵盖程序分析、缺陷发现、测试调试等技术领域。新时代下智能化技术为传统软件工程方法和系统软件研发提供了新的解决方案和工具链；而复杂系统自身的软件工程问题为高质量的软件生产带来了巨大挑战。因此，复杂系统的软件分析与测试的研究具有长期的重要的研究价值。本专刊以专刊论文征集为基础，面向复杂系统和软件的核心问题，展示软件分析与测试方法和技术方案。

日程安排：

时间：2024年11月16日，15:00~18:00

地点：西安高新国际会议中心，二楼夹层东大厅

论坛主席： 高翠芸（哈尔滨工业大学（深圳））、胡星（浙江大学）、夏鑫（华为）、李戈（北京大学）
论坛摘要：
基础模型是推动软件开发领域变革的核心力量，随着大模型技术的发展与普及，基础模型正在迅速融入软件工程的各个环节。基础模型与软件工程的融合，通过对需求、设计、编码、测试等流程的智能化优化，为软件开发带来了前所未有的效率提升与创新能力。基础模型正逐步成为软件开发行业的战略资源，助力各大企业在技术革新中占据市场竞争的制高点。
基础模型之下的软件工程专刊论坛，为面向软件工程的大模型关键技术研究、安全保障、生态建设及其相关领域的学术界、工业界研究人员提供一个分享和研究成果与实践的交流平台。论坛汇集基于大模型的软件缺陷修复、面向软工任务的提示工程技术、代码审查及代码搜索等方法的发展趋势和潮流。欢迎软件工程、人工智能、软件分析、信息安全等领域的专家与学者前来参加。
日程安排：
时间：2024年11月15日，13:30~18:00
地点：西安高新国际会议中心 丈八厅

论坛主席： 张贺（南京大学）、陈刚（武汉大学）、何勉（优川信息）、董威（国防科技大学）、肖然（ThoughtWorks）、刘进（武汉大学）、李智（广西师范大学）、黄勃（上海工业大学）
论坛摘要：
近年来，机器学习和深度学习等人工智能技术的发展已经取得了显著的进展，推动了AIGC（生成式人工智能）技术在各个领域的广泛应用。AIGC的突破性进展给软件工程的发展带来了巨大的想象空间，软件工程领域正在加速推进AIGC赋能软件开发智能化、自动化，全面提升软件产品质量和工程能力。研究者和实践者一致认为AIGC一方面显著赋能软件工程原有的研发体系，另一方面正在催生软件工程的新范式。AIGC的代表性基础支持技术大语言模型（LLM）正在发展成为一种基于自然语言交互的人机协同工具，可以在软件需求、开发、测试和维护等阶段提供多种形式的支持。
在过去的两年间，AIGC已成为软件产业最热门的技术话题和重点投入的方向，是软件相关企业竞争力的下一个制高点。“LLM能否取代程序员？”也引发了实践者的广泛讨论和关注。众多软件企业积极尝试在研发中引入、落地AIGC，以期获得研发生产力的大幅提升。一些软件企业尝到了第一波AIGC的技术红利，积累了一定的经验与最佳实践；同时很多企业和实践者在研发中应用AIGC的过程中遇到了诸多技术、组织、管理、流程等方面的问题与挑战。
工业分论坛聚焦回应“AIGC赋能软件工程在实践中的效果究竟如何？”的问题，通过汇聚产业相关实践的最新经验与问题，反映AIGC赋能软件产业实践的最新探索、场景、经验、问题、挑战与趋势，并促进相关学术研究与产业实践的充分交流及密切合作。
2023年以来，AIGC（生成式人工智能）技术加速渗透进千行百业，引发生产力与创造力革命。随着经济全球化和信息技术的不断发展，工业领域也正在经历着巨大的变革。现阶段，AIGC（生成式人工智能）技术在工业领域的应用场景体现在研发设计规划、生产过程管控、经营管理优化、产品服务优化等四大环节，提供强大的分析优化能力，为企业带来了新的商业模式和价值创新的机会。
基于智能数字内容孪生、智能数字内容编辑和智能数字内容生成等多个层次，AIGC（生成式人工智能）技术有助于推动工业领域实现智能化生产制造和数字化转型升级。因此，如何结合AIGC（生成式人工智能）技术，面向工业领域提出创新性融合应用和解决方案、实用案例，从而优化生产流程、提升效率质量，推动工业领域实现更高水平的自动化和智能化，将会是重要的研究热点及难点。
专刊分论坛将重点关注AIGC赋能工业软件领域的应用潜力，内容主要涵盖AIGC技术对工业设备的故障预测和维护、AIGC技术对生产过程的质量控制和过程优化、AIGC技术对供应链进行预测和优化、结合AIGC技术的智能化生产线和自动化设备控制、基于AIGC技术的人机协同和智能决策支持系统、AIGC技术对工业环境安全监控和风险评估、结合AIGC技术的个性化的客户服务和产品定制化解决方案等。
日程安排：
时间：2024年11月15日，8:30~12:00
地点：西安高新国际会议中心 首善厅B

论坛主席： 吴伟（中国科学院软件研究所）、高鹏（北京算能科技有限公司）、谢涛（北京大学计算机学院）
论坛摘要：
RISC-V指令集可以自由地用于任何目的，允许任何人设计、制造和销售RISC-V芯片和软件。经过不到15年的发展，RISC-V已经快速发展，有望在短期内成为继x86、Arm之外新的主流指令集架构。在当前国际形势下，对于我国信息产业软硬件生态的双循环发展提出了更高的要求。RISC-V的开放性及其在全球开源社区的快速发展对于我国信息产业发展有着非常重要的意义。2022年，采用RISC-V架构的处理器出货量约100亿颗，其中有一半以上是国内厂商生产；国内多所高校已经引入RISC-V作为教学内容；中国科学院等国内机构均有专项资金支持RISC-V的IP、SoC、基础软件以及应用示范场景。RISC-V正在成为中国信息产业重要的支柱之一。
本论坛旨在召集RISC-V产业界的商业、教育及技术领袖人物、开源社区专家、独立软件商代表，深入交流对未来三至五年的RISC-V系统软件及软硬协同的发展趋势、科研挑战、技术难点、商业机遇、正在和即将面对的共性问题，促进RISC-V在国内的发展。欢迎RISC-V生态、软件分析、软件工程、系统软件、信息安全、人工智能等学科的专家和学者前来参加。
日程安排：
时间：2024年11月15日，08:30~12:00
地点：西安高新国际会议中心 草堂厅

论坛主席： 顾斌（航天502所）、江云松（航天502所，北京轩宇信息技术有限公司）、陈睿（航天502所，北京轩宇信息技术有限公司）

论坛摘要：

嵌入式软件在航天、航空、轨交、汽车、核能等领域广泛应用，是重大装备关键功能的主要实现载体。随着人工智能技术的飞速发展，嵌入式软件开发测试方法正发生深刻的变革。一方面，嵌入式软件自身正在成为人工智能的实现载体，另一方面，智能化软件工程新方法也成为高可信、高效率研制嵌入式软件的重要支撑。

本论坛由航天 502 所高可信嵌入式软件工程专业实验室和北京轩宇信息技术有限公司发起，旨在加强工业需求和学术前沿融合，为工业界现实问题凝练和学术界成果更好服务国家重大需求架起桥梁，至今已在CCF ChinaSoft举办4届，致力于成为学术界和工业界探讨可信嵌入式软件的交流平台。

本届论坛聚焦智能化高可信嵌入式软件开发、测试方向，将邀请来自工业界和学术界的多位专家在相关方向共同探讨工业界挑战和学术研究前沿。

日程安排：
时间：2024年11月16日，15:00~18:00

地点：西安高新国际会议中心  丈八厅

论坛主席： 彭鑫（复旦大学）、马晓星（南京大学）、王昊奋（同济大学）、张文杰（国家智能网联汽车创新中心）
论坛摘要：
软件及人工智能技术已经深入渗透到汽车产业中，成为智能网联汽车技术的重要支撑，也使得软件定义汽车逐渐成为现实。当前，包含操作系统、中间件、功能软件等多个层次的基础软件已经成为百年汽车变革的新引擎以及构建汽车产业新生态的关键。另一方面，智能汽车软件开发过程也在向更加现代化的方向发展，开发运维一体化（DevOps）以及容器化等新的技术和开发实践也在一些企业逐渐应用。本次论坛将围绕智能汽车基础软件与开发实践这一主题，邀请来自产业界和学术界专家进行技术报告和专题研讨，共同探索软件定义汽车的未来发展方向。
日程安排：
时间：2024年11月15日，13:30~18:00
地点：西安高新国际会议中心 兴隆厅

论坛主席： 李青山（西安电子科技大学）、李运喜（中国航空工业集团计算所）
论坛摘要：
高端工业软件，作为制造业核心软件的重要组成部分，承担着支撑产品全生命周期和企业运行全过程的关键作用。随着移动互联网、物联网、云计算、大数据和人工智能等新兴信息技术的快速发展，高端工业软件产业经历了重要的发展模式变革，进入了可按需定制软件的发展阶段。这些新型制造业核心软件的特征包括基于互联网、面向服务、按需定制、知识驱动、泛在计算、动态演化等，是数字制造、智能制造、网络制造的连接基石，对制造业的数字化转型发挥着核心推动作用。
高端行业软件与AI融合发展论坛将关注产业生态和理论研究的最新进展，深入解析我国智能工业软件领域的现状，并探讨学术界的发展趋势、工业界的应用成果以及面临的主要问题和挑战。论坛将汇集来自学术界和工业界的顶尖专家，旨在促进学术研究成果与产业实践需求的交融，加强学术界与工业界的深度融合，推动我国智能工业软件的理论研究、产业发展和标准化生态建设，为国内工业软件领域做出贡献。
日程安排：
时间：2024年11月15日，13:30~18:00
地点：西安高新国际会议中心 鱼化厅

论坛主席： 牛建伟（北京航空航天大学）、崔西宁（中国航空工业集团公司西安航空计算技术研究所）、胡春明（北京航空航天大学）
论坛摘要：
基础软件是指操作系统、数据库、办公软件和中间件等支撑应用软件运行的一类软件，目前世界各国都十分重视基础软件的发展。特别是2000年以来，在国家中长期科学和技术发展规划中，就把包括基础软件在内的“核高基”确定为重大科技专项，在中国制造2025以及国家的多个重大计划中，基础软件都作为重点发展对象。到目前为止，基础软件已取得了长足的进展，如鸿蒙操作系统、麒麟桌面操作系统已是家喻户晓。嵌入式基础软件在航天、航空、军工、工业控制等领域应用广泛，为智能时代提供基础技术支撑。近几年来国产工业嵌入式操作系统如雨后春笋般的迅猛发展，业界已经由国外嵌入式操作系统主导，转向由国产自主可控操作系统代替的良好局面，不论是从关键技术的突破上，还是从产业化的集成应用方面，都有长足的进步。

我国的工业基础软件由于起步晚、发展不均衡，目前还面临着各种各样的问题，为了推动我国工业基础软件的发展，论坛聚焦产业生态和最新理论研究进展，深度解析我国工业嵌入式基础软件领域现状，研讨目前学术界的发展趋势、工业界在AI时代的应用成果、主要问题和挑战等。论坛邀请了来自学术界和的工业界多位顶尖专家，旨在深化拓展学术研究成果与产业实践需求交叉，加强学术界与工业界深度融合，促进我国工业基础软件理论研究和产业发展，为我国基础软件做出贡献。
日程安排：
时间：2024年11月17日，08:30~12:00

地点：西安高新国际会议中心  兴隆厅

论坛主席： 彭鑫（复旦大学）、谢涛（北京大学）、张冬梅（微软）、李青山（西安电子科技大学）
论坛摘要：
包含容器化、微服务、开发运维一体化、服务网格等技术在内的云原生已经成为新的技术浪潮，深刻地改变着软件开发、维护和运行的方式，同时也带来了新的机遇和挑战。当前，我们已经进入万物智能互联与软件定义一切的新时代，云计算与云原生软件技术和开发实践也逐渐在智能制造、智能汽车、智慧农业等领域应用，由此带来了很多新的机遇和挑战。围绕这些问题，我们邀请了多位来自学术界和工业界的专家进行专题报告和交流讨论，分享相关方面的最新研究成果和学术观点，共同展望未来的技术发展趋势。
日程安排：
时间：2024年11月15日，08:30~12:00

地点：西安高新国际会议中心  兴隆厅

论坛主席： 李浩源（Alluxio）、马郓（北京大学）
论坛摘要：
随着ChatGPT、Sora等大模型和相关生成式AI技术取得日新月异的进展，如何基于开源软件生态系统、结合中国实际情况，构建适合中国学术界和工业界所需的大模型，并进行模型训练、推理、部署和服务，已经成为广泛关注的重要话题。

本论坛邀请学术界和工业界专家进行报告分享，探讨支撑大模型的AI基础设施技术，以及相关开源软件生态如何支持大模型的发展和革新，为学术界和工业界的研究者和从业者提供一个交流探讨该领域最新进展和发展趋势的平台。
日程安排：
时间：2024年11月17日，08:30~12:00

地点：西安高新国际会议中心  鱼化厅

论坛主席： 陶先平（南京大学）、欧中洪（北京邮电大学）
论坛摘要：
随着人工智能技术的飞速发展，特别是大模型技术的崛起，软件基础教育面临前所未有的挑战与机遇。大模型技术，如预训练语言模型、多模态大模型等，不仅深刻改变了自然语言处理、计算机视觉等领域的研究范式，也对软件基础教育的教学内容、教学方法和手段等提出了新的要求。
大模型时代下的软件基础教育论坛，旨在探讨如何调整和优化软件基础教育的课程设置、教学内容和教学方法等，以适应大模型技术的发展趋势，培养具有创新能力和实践能力的计算机人才；分享大模型技术在教育领域的实践案例和创新成果，提升解决实际问题的能力；为大模型技术的研究人员、对大数据技术感兴趣的从业人员、从事计算机教育的教师、学生提供一个分享研究成果与实践的交流平台。欢迎计算机科学与技术、软件工程、数据科学与大数据技术、网络工程、物联网工程、人工智能等学科专业的专家和学者前来参加。
日程安排：
时间：2024年11月15日，13:30~18:00
地点：西安高新国际会议中心 庞光厅

论坛主席： 毛新军（国防科技大学）、张莉（北京航空航天大学）
论坛摘要：
近年来大模型技术及其工具的出现给软件工程带来极大的冲击，它不仅可以自动生成程序代码，而且还可以支持软件需求获取和精化、软件设计生成和推荐、软件测试用例和代码的生成等一系列工作。它既为软件开发和软件工程的研究提供了新的机遇，提高软件开发的效率和质量，同时也给软件人才的培养带来新的挑战。大模型技术会淘汰程序员和软件工程师吗？应该回避大模型还是拥抱大模型？学生在课程实践中利用大模型进行大范围的抄袭怎么办？大模型时代的软件人才该如何培养？等等，人们在专业建设、课程教学和实践教学中会面临一系列的新问题和新挑战。在此背景下我们邀请了来自学术界、教育界和产业界的学者和专家，围绕大模型时代的软件人才培养进行充分的交流和讨论，以此发现新问题、提出新建议、引领软件人才培养的新方向。
日程安排：
时间：2024年11月17日，08:30~12:00
地点：西安高新国际会议中心 草堂厅

论坛主席： 张昱（中国科学技术大学）、陈渝（清华大学）
论坛摘要：
计算机系统及其生态链的构筑迫切需要理解和掌握编程语言、程序分析和系统软件原理与技术方面的人才，为核心系统研发提供中坚力量。系统软件类课程主要讲授编程语言的原理与机制、数据结构与算法、编译原理和技术、操作系统原理与设计实现等。培养学生掌握语言与系统的理论基础，使之能建立准确描述真实系统的模型并利用模型预测系统行为；强化系统实践，培养学生分析与构造结合底层硬件特性的系统软件研发能力。
本论坛旨在推进各高校在培养学生程序设计能力、编译原理与操作系统等系统软件研发能力方面的进程，交流和改进课程实践体系，了解业界进展与需求。欢迎软件分析、软件工程、系统软件、系统安全、智能系统等学科的专家和学者前来参加。
日程安排：
时间：2024年11月15日，8:30~12:00
地点：西安高新国际会议中心 庞光厅

论坛主席： 陈立前（国防科技大学）、谭添（南京大学）
论坛摘要：
形式化方法教学在信息类学科教育中的重要性不言而喻。但是，此类课程对于多数学生而言，具有内容抽象、知识点繁杂、应用难度大、学习曲线陡等特点。这对从事形式化相关课程教学的教师提出了挑战。近来，有关我国的形式化方法教育现状调查结果指出，亟待加强专业教育中形式化方法的教学内容和改革。为此，Chinasoft每年组织形式化方法教育论坛，旨在交流形式化方法相关课程的教学经验，探讨在计算机科学技术和软件工程等相关学科教学中加强形式化方法教育的途径，以促进形式化方法课程的教学发展。
日程安排：
时间：2024年11月15日，13:30~18:00
地点：西安高新国际会议中心 草堂厅

论坛主席： 娄一翎 （复旦大学）、Thomas Zimmermann （Microsoft Research）、谢涛 （北京大学）、Ahmed E. Hassan（Queen’s University）
论坛摘要：
大语言模型/基础模型的快速发展正在对软件和软件工程产生着深刻而全面的影响。AI赋能的软件（AIware）正在为软件工程带来新的机遇和挑战。本论坛邀请来自全球范围学术界和工业界的多位专家和学者，共同探讨在大语言模型/基础模型时代下软件和软件工程的未来。本论坛重点关注AI赋能的软件应用和面向AI赋能软件的软件工程，包括AI赋能软件的构建开发、维护与平台支撑等，以及产业实践中所面临的挑战，并探讨该方向未来的发展机遇。欢迎软件工程、人工智能等领域的专家和学者以及所有感兴趣的同行们前来参加。注：本论坛所有报告现场均提供中英文实时翻译。
日程安排：
时间：2024年11月15日，08:30-12:00

地点：西安高新国际会议中心  五星厅