中国计算机学会青年计算机
科技论坛
CCF Young Computer Scientists & Engineers Forum
CCF YOCSEF 苏州
2023年11月11日（星期六）
14:00-17:00
中国科学技术大学苏州高等研究院
（苏州工业园区仁爱路188号唯真楼四楼第一会议室）
论坛编号：CCF-Yo-23-135
论坛背景：
当前，随着大模型技术的兴起，新一轮科技革命和产业变革突飞猛进，学科交叉融合不断发展，科学研究范式发生深刻变革，国际科技竞争向基础前沿前移。为此，要打好科技仪器设备、操作系统和基础软件国产化攻坚战，需要科研机构、高校同企业开展联合攻关，提升国产化替代水平和应用规模，争取早日实现用我国自主的研究平台、仪器设备来解决重大基础研究问题。其中，国产化基础软件的发展，关系到整个信息通讯领域的产业变革，是我国数字经济、数字城市建设不可或缺的关键。数字经济、数字城市的发展都依托于数字基础设施，而基础软件起到驱动使能数字基础设施发挥更大作用的功能。因此，国产基础软件的发展既面临着前所未有的重大机遇，也面临着重要挑战。由于基础软件及工具链设计周期长、门槛高，需要对其进行早期的分析及形式化验证，以确保其功能与性能的完备性。大语言模型技术浪潮下的国产基础软件开发、维护、测试验证因此既带来了新的发展和机遇，又面临了新的挑战和困境。
为此，本技术论坛邀请国内知名高校、科研院所与企业的专家学者，围绕大模型背景下基础软件及工具链的形式化验证方法展开讨论。
主办单位：中国计算机学会
承办单位：CCF YOCSEF 苏州AC
协办单位：中国科学技术大学
参会人员：中国计算机学会（CCF）会员、受邀嘉宾及论坛主办单位、承办单位、支持单位人员免费参加。IT领域专业人士、媒体、其他有兴趣者。
论坛议程：
13:30-14:00 签到
14:00- 14:10 论坛介绍
14:10-15:10 引导发言【主持人：王超、薛吟兴】
Ø 14:10- 14:30 引导发言1 乔磊 航天五院502所研究员
报告主题：航天器操作系统的研究与实践
Ø 14:30- 14:50 引导发言2 姚培森 浙江大学研究员
报告主题：基于符号抽象的程序分析
Ø 14:50- 15:10 引导发言3 钱忆 华为高级工程师
报告主题：智能驾驶大规模仿真
15:10- 15:30合影&茶歇
15:30-16:30 思辨环节【主持人：薛吟兴、王超】
Ø 15:30- 15:50思辨一：国产基础软件的验证，包括航天操作系统软件等，最大的困境是卡脖子技术问题还是生态问题?
Ø 15:50- 16:10思辨二：国产基础软件，在 LLM 蓬勃发展的趋势下，在 Langchain,等技术背景下，开发和维护过程中有哪些新的挑战?
Ø 16:10- 16:30 思辨三：基础软件的形式化验证方面，大语言模型的出现是可以帮助形式化验证的效率和准确性，还是更多会带来一些新的安全挑战（例如prompt injection攻击）？
16:30 - 16:40 论坛总结
16:40 - 17:00 参观交流
京公网安备 11010802032778号