当前位置:首页 > 信息中心 > 学术科研

学术科研

第三届智能化软件工程研讨会

报告题目:Detecting Numerical Bugs in Neural Network Architectures

报 告 人:Shing-Chi Cheung 香港科技大学教授

报告时间:11月14日9:10-9:50


报告题目:程序合成

报 告 人:刘烃 西安交通大学教授

报告时间:11月14日9:50-10:30


报告题目:多源信息制导的代码缺陷定位研究

报 告 人:郝丹 北京大学副教授

报告时间:11月14日10:30-11:10


报告题目:Smart Contract Analysis

报 告 人:Xiapu Luo 香港理工大学副教授

报告时间:11月14日11:10-11:50 


报告题目:设计模式挖掘、分析与统一表示

报 告 人:江贺 大连理工大学教授

报告时间:11月14日14:00-14:40 

报告题目:大规模微服务轨迹数据分析研究

报 告 人:彭鑫 复旦大学教授

报告时间:11月14日14:40-15:20


报告题目:智能软件工程的机遇与挑战 

报 告 人:李青山 西安电子科技大学教授

报告时间:11月14日15:20-16:00


报告题目: Validation for Intelligent Software — Generic Adaptive Scheduling for Efficient Context Inconsistency Detection

报 告 人:许畅 南京大学教授

报告时间:11月14日16:00-16:40

报告形式:线上网上直播

直播网址:https://live.bilibili.com/22608183

主办单位:江苏省计算机学会计算机软件专业委员会、扬州大学信息工程学院(人工智能学院)

协办单位:江苏省知识管理与智能服务工程研究中心、江苏省人工智能学会知识工程与智能服务专委会、扬州市计算机学会





打印本页  关闭窗口
© 2018 扬州大学信息工程学院(人工智能学院) 版权所有
地址:江苏省扬州市华扬西路196号 电话:0514-87993875、87993876 传真:0514-87887937 E-mail:xxgcxy@yzu.edu.cn 邮编:225127
Produced By 大汉网络 大汉版通发布系统