365be体育,365bet投注体育,365bet官网最新网址

学术交流

当前位置: 首页 > 学术交流 > 正文

【学术报告】智能嵌入式软件学术研讨会通知

发布时间:2021-04-25 20:58 作者:赵阳 来源:软件学院 已浏览:

各位同学、老师:

为了促进嵌入式软件技术与人工智能技术的融合发展,深化新工科软件工程理论技术内涵,提升特色化示范性软件学院的课程体系建设水平,助力区域经济发展和产业创新能力提升,由365be体育,365bet投注体育,365bet官网最新网址软件学院引进的高层次人才刘志明教授牵头,建设成立了“智能嵌入式软件研究中心”(Center for Intelligent and Embedded Software, CiES)。中心依托365be体育,365bet投注体育,365bet官网最新网址软件学院和陕西省嵌入式系统技术重点实验室的师资队伍和科学研究力量,立足于长三角的区域优势,面向我国装备嵌入式技术智能化升级的国家产业发展需求,研究智能化嵌入式软件理论、新产品研发技术和知识产权服务体系等,助力区域创新体系建设和国家经济社会发展。

本着海纳百川、共谋发展的中心创建理念,为加强国内该领域同行的学术交流,中心定于2021年4月26日—27日在江苏省苏州市365be体育,365bet投注体育,365bet官网最新网址太仓长三角研究院召开中心成立仪式暨智能嵌入式软件学术研讨会(Colloquium on Intelligent and Embedded Software,CiES2021)。

本次活动由365be体育,365bet投注体育,365bet官网最新网址软件学院和365be体育,365bet投注体育,365bet官网最新网址长三角研究院联合主办。

会议议程

第一阶段:智能嵌入式软件研究中心成立仪式

日期

时间

内容

主持人

地点

4月26日

上午

9:30-9:35

介绍与会领导及来宾

郑江滨

西工大长三角

研究院1号楼

三层308室

9:35-9:40

西工大校领导致辞

9:40-9:45

太仓市政府领导致辞

9:45-9:50

中心揭牌

9:50-9:55

宣读学术委员会名单

9:55-10:00

颁发学术委员会聘书

10:00-10:15

合影

10:15-10:30

茶歇

10:30-12:00

学术委员会会议

杨孟飞

西工大长三角

研究院1号楼

三层303室

第二阶段:智能嵌入式软件学术研讨会

日期/地点

主持人

时间

内容

4月26日

上午

西工大长三角

研究院1号楼

三层308室

段振华

教授

10:30-11:10

报告人:谢涛(北京大学)

题目:从智能化软件工程到可信软件自动化

11:10-11:35

报告人:张立军(中科院软件所)

题目:基于蒙特卡洛Buechi自动机语言非包含算法

11:35-12:00

报告人:江贺(大连理工大学)

题目:编译器优化与测试

4月26日

中午

12:00-13:00

自助午餐

(地点:西工大长三角研究院6号楼三层餐厅)

13:00-13:30

参观西工大长三角研究院、太仓校区展厅

(西工大长三角研究院1号楼一层大厅)

4月26日

下午

西工大长三角

研究院1号楼

二层203室

傅育熙

教授

毛晓光

教授

13:30-13:55

报告人:郭耀(北京大学)

题目:移动应用生态系统安全分析

13:55-14:20

报告人:刘世霞(清华大学)

题目:基于可视分析的可解释人工智能技术

14:20-14:45

报告人:王千祥(华为技术有限公司)

题目:AI增强的可信代码

14:45-15:10

报告人:乔磊(中国航天科技集团)

题目:航天器操作系统实时任务调度与准入控制分析

15:10-15:35

报告人:郝丹(北京大学)

题目:智能化软件测试的实践

15:35-15:45

茶歇

15:45-16:10

报告人:陈振宇(南京大学)

题目:软件工程产教研融合实践

16:10-16:35

报告人:李钦(华东师范大学)

题目:人工智能系统可靠性研究

16:35-17:00

报告人:常万里(湖南大学)

题目:智能汽车失效可操作

17:00-17:25

报告人:张民(华东师范大学)

题目:基于细粒度线性近似的卷积神经网络鲁棒性验证

17:25-17:50

报告人:陈立前(国防科技大学)

题目:数值程序分析、验证与修复

17:50-18:15

报告人:彭鑫(复旦大学)

题目:基于知识图谱的软件开发资源智能化推荐

4月26日

晚上

18:30-20:30

自助晚宴(地点:太仓华旭假日酒店一层西餐厅)

4月27日

上午

西工大长三角

研究院1号楼

二层203室

应时

教授

李晓红

教授

8:30-8:55

报告人:周明辉(北京大学)

题目:开源数字社会学

8:55-9:20

报告人:牟明(中航共性技术研究所)

题目:智能技术在机载系统研发中的应用

9:20-9:45

报告人:宋富(上海科技大学)

题目:基于BDD的二值化神经网络定量分析方法

9:45-10:10

报告人:马晓星(南京大学)

题目:程序代码粒度的动态软件更新

10:10-10:20

茶歇

10:20-10:45

报告人:金鑫(北京大学)

题目:软件定义的云计算操作系统

10:45-11:10

报告人:卜磊(南京大学)

题目:学习赋能的实时系统控制生成

11:10-11:35

报告人:赵永望(浙江大学)

题目:系统安全形式化验证的现状与展望

11:35-12:00

报告人:柳欣欣(中科院软件所)

题目:进程等式公理系统的层次体系

4月27日

中午

12:00-12:30

自助午餐

(地点:西工大长三角研究院6号楼三层餐厅)

下一条:【自动化学院南山青年学术论坛】报告通知(第四十七讲)


友谊校区地址:西安市友谊西路127号    邮编:710072

长安校区地址:西安市长安区东祥路1号  邮编:710129

版权所有 ? 365be体育,365bet投注体育,365bet官网最新网址ICP备案号:陕ICP备05010979号