ENG

新闻通知

【学术报告】智能嵌入式软件学术研讨会通知
2021-04-25 20:58 赵阳  软件学院 审核人:   (点击: )

各位同学、老师:

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

本着海纳百川、共谋发展的中心创建理念,为加强国内该领域同行的学术交流,中心定于2021年4月26日—27日在江苏省苏州市色姑娘久久综合网|婷婷丁香社区|开心五月婷婷深深爱太仓长三角研究院召开中心成立仪式暨智能嵌入式软件学术研讨会(Colloquium on Intelligent and Embedded Software,CiES2021)。

本次活动由色姑娘久久综合网|婷婷丁香社区|开心五月婷婷深深爱软件学院和色姑娘久久综合网|婷婷丁香社区|开心五月婷婷深深爱长三角研究院联合主办。

会议议程

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

日期

时间

内容

主持人

地点

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号楼三层餐厅)

关闭窗口
友情链接:免费韩国成人影片|韩国三级片|韩国三级片大全在线观看|大香蕉在线影院  超碰在线|超碰视频|超碰97资源站|concern超碰在线  大香蕉网站|大香蕉|伊人情人综合网  韩国三级片|免费韩国成人影片|韩国三级片大全在线观看  日本阿v片在线播放免费|日本毛片高清免费视频|av小次郎收藏家|阿v小次郎收在线看  亚洲另类小说春色|亚洲综合婷婷六月丁|色欲天天天影视综合网  飘花电影网|飘花电影在线播放|最新高清电影|飘花影院|飘花手机版  韩国三级电影网站|免费韩国成人影片|韩国三级片大全在线观看  青草网站|青青草导航|青青草成人在线|青青青免费视频在线  欧美av|美国十次|美国十次啦网站  日本三级|香港三级|三级片网站|韩国三级  韩国三级片|免费韩国成人影片|韩国三级片大全在线观看|香港经典三级  一夜七次郎官网-99XXXX开心情色站-一夜七次郎  激情俺去也|俺去也|第四色五月|开心情色站|开心情色网|开心播播网  大香蕉在线影院|香港经典三级|韩国三级片|免费韩国成人影片|韩国三级片大全在线观看  大香蕉|大香蕉网站|伊人情人综合网  哥也色|哥也色蝴蝶谷|哥要搞|哥哥综合影院  我爱原味网|我爱内内网|我爱原味控  国产亚洲Av在线|亚洲色吧|欧美色吧|欧美av|欧美A片  91视频在线-91在线视频观看-91自拍国产专区-久草网  不卡av电影在线|不卡的中文字幕av电影|不卡的无码高清的av  俺去也老色哥|色七七影院|俺也去网|桃花色综合影院  久久成人视频|久久66热在线视频精品|99热这里只有精品  激情俺去也|俺去也|俺去也老色哥|俺也去网  亚洲图片自偷自拍另类|色综合亚洲欧美图片区|亚洲ts贴图  免费电影观看|欧美av|欧美av资源  欧美日韩成人  欧美Av-欧美巨乳-欧美群交-欧美人曽交流-色爱综合网欧美av  日本三级|香港三级|三级片网站|韩国三级  奇米777me|777米奇影视|777me米奇影院|奇米影视|奇米影视盒|777奇米影视第四色