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

科学与技术前沿论坛

时间：2015年7月22日-23日

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

7月21日下午14:00-17:00 报道注册

7月22日

大会主题：可信计算I

主持人： 梅宏  院士

08:40-09:00

开幕式

1、尊龙凯吋官方网站  校领导致欢迎辞

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

晚餐

7月23日

大会主题：信息安全II

主持人：倪明选 教授

09:00-09:30

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

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

09:30-10:00

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

报  告  人：尊龙凯吋官方网站 曹珍富

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：基于覆盖准则的自动测试的研究进展

报  告  人：尊龙凯吋官方网站 蒲戈光

结束