诚邀参会 | 效率越高,掌控越弱?AI 软件工程的范式重构与人机边界——第十五届江苏省计算机大会(JSCC 2026)分会场

AI 编程工具正从工具层、技术层向组织层全面渗透软件工程。从 Copilot、Cursor到Claude Code，再到Vibe Coding与AI Agent自主编程，软件生产的门槛在下降，交付速度在提升——这是不可逆的趋势。但这场冲击的本质，不只是效率工具的升级，而是软件工程基本假设的改写：开发正在从”人写代码”转向”人定义意图、AI 生成实现”。需求分析、架构设计、编码、测试、调试、运维——每个环节都在被重新定义，但并非均匀地被改变。互联网应用中 AI 已在重写开发范式，而工业软件、嵌入式系统、金融核心系统、安全关键系统中，AI 的渗透深度截然不同。用得越深，效率越高，但对系统的掌控越低。当 AI 生成的代码出了安全漏洞，责任在谁？当大型企业有能力建立 AI 代码治理体系，而中小企业和个人开发者只能完全依赖工具，这种能力分化将把行业带向何处？更深层的问题是：当”写代码”不再是最稀缺的能力，软件工程师的核心价值转向哪里？角色如何重组？组织如何重构？效率的尽头，是失控，还是新秩序？

2026年6月12日—14日江苏省计算机学会举办第十五届江苏省计算机大会（JSCC 2026），CCF YOCSEF 南京同期开设专题分会场：“效率越高，掌控越弱？AI 软件工程的范式重构与人机边界”。本次分会场汇聚软件工程学术研究者、工业软件与AI工具一线从业者、产业数字化实践专家，围绕以下三个核心思辨议题展开深度讨论：AI Coding 的范式冲击与基本假设改写、AI 规模化应用的真实边界、AI 时代软件开发生态的重构路径。现诚邀广大行业同仁、科研工作者、高校师生莅临参会，共探AI时代技术新机遇，共商软件工程创新发展新路径！

一、会议组织架构

主办单位：江苏省计算机学会

承办单位：CCF YOCSEF 南京

二、会议内容、时间、地点

1、会议时间

报到时间：2026年6月12日14:00—21:00、13日7:30—18:00、14日7:30—15:00

会议时间：2026年6月14日

2、会议地点

苏州市相城区相融路699号苏州市国际会议酒店

3、会议议程

1、会议主席

会议共同主席： 刘艾，南京航空航天大学计算机学院副教授，国家级青年人才

个人简介：刘艾，南京航空航天大学计算机学院软件工程系副教授、博士生导师，国家级青年人才（海外），长期从事可信软件、形式化方法、软件测试与验证等方向研究，曾任日本广岛大学先进理工科学研究科助理教授（2020-2023），担任CCF形式化方法专委会执行委员、中国航空学会仿真与计算专委会青年委员、CCF YOCSEF南京学术委员。在国内外重要期刊和会议上已发表论文20多篇，申请专利5项，主持及参与多项国家自然科学基金项目、省部级项目。曾获日本情报处理学会2022年度卓越研究赏。长期关注AI辅助软件工程的可信性与工程边界问题，对AI生成代码的可靠性验证与形式化保障有深入研究。

会议共同主席： 符润泽，苏交科集团股份有限公司高级工程师，注册土木工程师(岩土)

个人简介：符润泽，苏交科集团股份有限公司高级工程师，注册土木工程师(岩土)，长大桥梁安全长寿与健康运维全国重点实验室研究员，CCF YOCSEF南京学术委员。主持及参与多项国家及省部级科研项目，工作成果曾获中国公路学会特等奖、一等奖、省部级科技进步奖3项、市级科技创新奖4项，省“数据要素×”大赛二等奖，授权发明专利4项、软件著作权3项，在国内外期刊发表学术论文若干，担任ICCV等多个国内外期刊审稿人。近年深度参与多个行业具体场景中的AI编程工具落地实践，对AI在高可靠性、强约束工程系统中的应用边界与工程责任有着深刻认知。

2、报告嘉宾

报告嘉宾1：孙猛，北京大学数学科学学院教授

个人简介：孙猛，北京大学数学科学学院教授，博士生导师，CCF形式化方法专委、区块链专委执行委员，CSIAM区块链专委、金融科技与算法专委常务委员，CAAI人工智能逻辑专委委员。主要研究领域为程序理论、软件形式化方法、信息物理系统、可信人工智能、深度学习、区块链与智能合约，主持及作为主要成员参与国家自然科学基金、重点研发计划等国家及省部级项目十余项，在TSE、TDSC、ICSE、FSE、NeuIPS、ICML、AAAI、FM等期刊及会议发表论文 150余篇，获FSE 2025、ICFEM 2025、SBMF 2017、TASE 2015等多个国际会议最佳 / 杰出论文奖，任ICFEM 2024、FACS 2024、TASE 2023、ICFEM 2018、FACS 2009等国际会议程序委员会主席，FM、TACAS、ICECCS等多个国际会议程序委员会委员。

报告题目：AI Coding浪潮的边界与暗礁——是否所有软件开发都能采用AI范式？

报告摘要：AI Coding 的规模化应用正面临显著边界。决定其在不同领域应用深度的根本瓶颈，不只是幻觉与上下文限制等模型自身能力，更在于软件工程中诸多不可自动化替代的结构性约束。本报告将分析这些边界的本质，并探讨相关挑战的可能应对路径。

报告嘉宾2：李翔，南开大学副教授、博士生导师

个人简介：李翔，南开大学副教授、博士生导师，南开大学百名青年学科带头人培养计划入选者，南开大学五四青年奖章获得者，入选博士后创新人才支持计划A档，获CCF优秀博士学位论文提名奖、吴文俊人工智能优秀青年奖。长期从事计算机视觉、目标检测、基础模型与智能体相关研究，谷歌学术引用2.6万余次。其第一作者相关工作被诺贝尔物理学奖、图灵奖得主Geoffrey Hinton教授团队重点跟进，并成为工业界主流轻量目标检测器YOLO系列的标准配置。李翔带领团队参与顶级AI竞赛，累计获得奖金130余万元。其同时为减论科技创始人，科研社区服务“减论”账号主理人，长期关注青年科研人才成长、科研方法论传播与人工智能技术的真实落地。

报告题目：从Context Engineering到Harness Engineering再到Happiness Engineering

报告摘要：当模型能力逐渐成为基础设施，真正决定智能体上限的不再只是参数规模，而是如何为其构造上下文、接入工具链与评测闭环，以及如何让人、模型与任务之间形成长期可信的协作关系。本报告从 Context Engineering、Harness Engineering 到 Happiness Engineering 三个层次，讨论从提示词到工程体系、从自动化到人机共生的演进路径，并分享对未来软件工程工作方式的若干思考。

报告嘉宾3：高荣成，达赢信息技术（上海）高级顾问，前长城汽车-诺博汽车集团CDO

个人简介：高荣成，达赢信息技术高级顾问，曾任长城汽车-诺博汽车集团CDO（首席数字官）、中科大合肥人工智能大数据研究院九韶智能副总裁。拥有高端制造业超二十年数字化经验，主导参与全球十余个国家的研发数字化项目，深度服务CooperStandard、Ingersoll Rand等全球百强制造企业。主要方向为汽车、航空等高端复杂制造业的AI应用战略规划、AI研发管理与工业大模型落地，参与国家发改委/工信部AI+工业软件、AI+智能制造等多项国家级课题方案规划。

报告题目：AI对工业软件开发的颠覆和企业数字化投资运营的质变

报告摘要：AI 开发能力的快速发展，正在改变企业对数字化项目的投资决策逻辑与组织方式。本报告从汽车、航空等高端复杂制造业的一线实践出发，聚焦 CAD、PLM 等工业软件开发场景，分享 AI 编程工具介入后企业在战略规划、人员组织和实施运维上的真实变化，以及由此引发的数字化投资决策质变。

特邀嘉宾1：张犬俊，南京理工大学计算机科学与工程学院教授，紫金青年学者

个人简介：张犬俊，南京理工大学计算机科学与工程学院教授，紫金青年学者，CCF软件工程专委、系统软件专委执行委员。主要研究方向为智能化软件测试、大模型驱动缺陷修复、代码开发智能体等，CCF软工专委博士论文激励计划提名。在 ICSE、FSE、ASE、ISSTA、TSE、TOSEM、TDSC、CSUR和 SCIS等国内外高学术期刊与会议上共发表论文 50 余篇。主持及参与多项国家自然科学基金项目、重点研发以及省部级项目。

特邀嘉宾2：潘昱杉，西交利物浦大学副教授

个人简介：潘昱杉，西交利物浦大学副教授。主要从事认知智能、多模态情感计算、人机交互、脑机接口与可信 AI研究，聚焦多模态表征学习、人机情感交互、高速脑机接口算法等方向。主持或参与省部级、校级及横向项目 3 项，国家自然科学基金面上项目 1 项；以唯一通讯作者在 IEEE Transactions on Affective Computing、IEEE/ACM TASLP、CHI、Expert Systems With Applications 等 CAAI A 类、中科院 1 区顶刊/顶会发表多篇论文。

特邀嘉宾3： 印佳奇，西北工业大学副研究员、助理教授

个人简介：印佳奇，西北工业大学副研究员、助理教授，中国形式化方法专委会执行委员。主要从事可信人工智能、智能系统安全、智能工业软件、形式化验证等方向。主持或参与国家级、省部级及横向项目5项；在FAC、JSEP、DATE、ICECCS、TASE等国际知名期刊和会议上发表多篇论文。

四、参会对象

CCF YOCSEF南京全体委员，江苏省计算机学会会员、在苏 CCF 会员以及其他科技工作者。

五、参会指南

1、参会费用

2、参会报名

扫描下方图中二维码报名参会缴费，手机号注册登录即可（线下银行汇款也请汇款后，扫描下方二维码报名，交费方式选择“线下转账”，上传转账凭证截图）

线下交费信息：江苏省计算机学会的银行账户信息

单位名称：江苏省计算机学会

开户银行：中国工商银行南京大方巷支行

开户账号：4301011109002000471

汇款请备注：JSCC2026+单位名称+姓名

3、会务联系人

江苏省计算机学会：石克  18114472513   吴春雪 13151059971

苏州大学：弋维君 18151771229   邓飞霞 18014041082

4、住宿信息

协议酒店：苏州市国际会议酒店（苏州市相城区高铁新城相融路699号）；

客房协议价格：大床房/双床房：380元/间/天，含单早；双床房：450元/间/天，含双早；

注意：参会代表住宿，自行在线预订，由于房源比较紧张，请提前预定，预定电话：0512-65928888

点击左下角“阅读原文”一键登录，注册参会