2015年中国科学院学部“软件先进技术”科学与技术前沿论坛会议议程
发布时间:2015-07-20 浏览量:51

2015年中国科学院学部“软件先进技术”

科学与技术前沿论坛

时间:2015722-23

地点:上海国丰酒店宴会厅2(上海普陀区大渡河路388号国盛中心1号座,021-60958888

721日下午14:00-17:00 报道注册

722

大会主题:可信计算I

主持人: 梅宏  院士

08:40-09:00

开幕式

1、以诚为本赢在信誉9001cc  校领导致欢迎辞

2、学部主任  李未院士致辞

3、论坛主席  何积丰院士宣布开幕

09:00-09:30

主题报告1:从服务计算到围绕人的计算:Cyborg Computing

报  告  人:浙江大学  吴朝晖

09:30-10:00

主题报告2: “平民化”——大数据技术发展的新目标

报  告  人:澳门大学  倪明选

10:00-10:30

合影

主持人:李未 院士

10:30-11:00

主题报告3:可信计算评价与优化

报  告  人:清华大学  林闯

11:00-11:30

主题报告4:武器装备重大关键应用的先进软件技术研究

报  告  人:北京应用物理与计算数学研究所 莫则尧

11:30-12:00

主题报告5:复杂软件系统的成长性构造与适应性演化

报  告 人:  国防科技大学   王怀民

12:05

午餐

大会主题:信息安全I

主持人:何积丰  院士

14:00-14:30

主题报告6:云计算安全的基础理论与方法研究

报  告  人:华中科技大学  金海

14:30-15:00

主题报告7: 布尔方程求解的特征列方法及其在密码分析中的应用

报  告  人:中科院数学与系统科学研究院  高小山

15:00-15:20

休息

大会主题:智能CPS

主持人:吕建 院士

15:20-15:50

主题报告8:CPSS中人工智能关键技术及智慧健康计算服务系统研究

报  告  人:吉林大学  刘大有

15:50-16:20

主题报告9: 简论CPS智能性在运行支撑平台中的体现

报  告 人:  西北工业大学 周兴社

16:20-17:00

互动研讨

18:00

晚餐

723

大会主题:信息安全II

主持人:倪明选 教授

09:00-09:30

主题报告1:Compilers: A Bane of Reliable and Secure Software

报  告  人:美国加州大学戴维斯分校 Zhendong Su

09:30-10:00

主题报告2:信息安全的新趋势 -- 怎样改变人类的生活方式

报  告  人:以诚为本赢在信誉9001cc 曹珍富

10:00-10:20

休息

大会主题:可信计算II

主持人:林闯 教授

10:20-10:50

主题报告3:恶意软件的防御和检测

报  告  人:西安电子科技大学 段振华

10:50-11:20

主题报告4:验证的若干理论问题

报  告  人:上海交通大学  傅育熙

11:20-11:50

主题报告5:Parameterized Networks of Synchronized Automata (pNets): a semantic tool for analysing the behavior of distributed systems

报  告 人:   INRIA-Sophia Antipolis   Eric Madelaine

12:00

午餐

大会主题:可信计算III

主持人: 刘大有 教授

14:00-14:30

主题报告6:Metamorphic Testing: A Simple Approach to Alleviate the Oracle Problem

报  告  人:澳大利亚斯威本科技大学  T.Y.Chen

14:30-15:00

主题报告7:安全攸关软件的分析、测试与度量

报  告  人:南京大学/武汉大学 徐宝文

15:00-15:30

主题报告8:基于覆盖准则的自动测试的研究进展

报  告  人:以诚为本赢在信誉9001cc 蒲戈光

结束

 

以诚为本赢在信誉9001cc
学院地址:上海中山北路3663号理科大楼

                上海市浦东新区楠木路111号
院长信箱:yuanzhang@sei.ecnu.edu.cn | 办公邮箱:office@sei.ecnu.edu.cn | 院办电话:021-62232550
Copyright 以诚为本赢在信誉9001cc(中国)有限公司