# 议程
时间:13:30~13:35
讲者 冯新宇
主题报告一: 面向全场景应用的新一代编程语言-仓颉
时间:13:35~14:00
讲者 董鑫
华为中央软件院项目群总监
主题报告二:仓颉语言鸿蒙原生应用开发/并行并发/全并发 Compact GC 技术介绍及大模型辅助仓颉代码生成
时间:14:00~14:45
徐潇
范长春
杨勇勇
郭圆平
特邀报告一: 约束求解增强的符号执行及仓颉语言应用实践
时间:14:45~15:10
讲者 张羽丰
湖南大学副教授
特邀报告二:基于太阿的仓颉语言程序分析
时间:15:10~15:35
讲者 余萍
南京大学副教授
茶歇
时间:15:35~15:45
特邀报告三:贝叶斯程序分析的发展及仓颉语言应用机会
时间:15:45~16:10
讲者 张羿凡
北京大学博士研究生
特邀报告四:仓颉代码智慧化初探
时间:16:10~16:35
讲者 黎立
北京航空航天大学教授
IEEE TCSE 新星
特邀报告五:力扣鸿蒙应用仓颉语言开发实践
时间:16:35~17:00
讲者 叶海健
LeetCode移动端技术经理
圆桌研讨:面向全场景应用编程语言的机遇、挑战
时间:17:00~17:30
会议总结
时间:17:30~17:40
END