敬请期待“大模型背景下基础软件及工具链的形式化验证方法”技术论坛
2023-11-08 阅读量:0 小字

中国计算机学会青年计算机

科技论坛

CCF Young Computer Scientists & Engineers Forum

CCF YOCSEF 苏州

20231111日(星期六)

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 参观交流

邀请函海报



热门动态
2023-11-12
聚焦光电成像核心技术,解决国产替代“卡脖子”难题2023年11月11...
2023-11-12
聚焦光电成像核心技术,解决国产替代“卡脖子”难题2023年11月11...
2023-05-05
AI为科学提供了强有力的工具和方法,帮助领域学者发现新的知识、...
2023-05-05
AI为科学提供了强有力的工具和方法,帮助领域学者发现新的知识、...
2023-03-24
2023年3月18日,CCF YOCSEF成都在四川省成都市五岳宫街28号成都...
2023-03-24
2023年3月18日,CCF YOCSEF成都在四川省成都市五岳宫街28号成都...
2023-03-04
2023年3月3日11:00-14:00,CCF YOCSEF成都分论坛开展走进系列特...
2023-03-04
2023年3月3日11:00-14:00,CCF YOCSEF成都分论坛开展走进系列特...
2023-03-02
近十年,我国交通运输事业取得了历史性成就,发生了历史性变革,...
2023-03-02
近十年,我国交通运输事业取得了历史性成就,发生了历史性变革,...
2023-02-27
2023年2月24日下午,CCF YOCSEF 成都的现任和候任AC委员们、老AC...
2023-02-27
2023年2月24日下午,CCF YOCSEF 成都的现任和候任AC委员们、老AC...
2023-01-12
2023年1月7日-8日,CCF YOCSEF成都在四川省峨眉山市峨眉山...
2023-01-12
2023年1月7日-8日,CCF YOCSEF成都在四川省峨眉山市峨眉山...
2023-01-01
时光荏苒,举步维艰的2022年已远去,欣欣向荣的2023正向我们走来。2022年,在YOCSEF总部、各兄弟分论坛的大力支持下、在各位AC委员、通讯AC委员和委员的共同努力下,CCF YOCSEF太原紧密围绕学术与产业前沿,聚焦科学与社会热点,举办了一系列前瞻性、引领性的观点论坛、技术论坛与CLUB活动,主题涵盖了人工智能算力基础设施、人工智能数据标注、经济转型发展、非物质文化遗产保护等,为山西省乃至全国计算及相关领域的青年科技工作者搭建了交流平台,创造了成长机会,也承担了一定的社会责任。
2023-01-01
时光荏苒,举步维艰的2022年已远去,欣欣向荣的2023正向我们走来。2022年,在YOCSEF总部、各兄弟分论坛的大力支持下、在各位AC委员、通讯AC委员和委员的共同努力下,CCF YOCSEF太原紧密围绕学术与产业前沿,聚焦科学与社会热点,举办了一系列前瞻性、引领性的观点论坛、技术论坛与CLUB活动,主题涵盖了人工智能算力基础设施、人工智能数据标注、经济转型发展、非物质文化遗产保护等,为山西省乃至全国计算及相关领域的青年科技工作者搭建了交流平台,创造了成长机会,也承担了一定的社会责任。
2022-05-23
2022年5月21日,CCF YOCSEF广州举办“走进图普科技”ClLUB活动暨...
2022-08-18
近年来,人工智能快速发展、赋能千行百业,催生新技术、新产品、...
2022-08-20
近年来,我国大力发展区块链技术和相关应用成果落地,无论是科研...
2022-09-26
近年来,人工智能技术发展迅速,与之相关的数据安全问题也日益受...
CCF聚焦